diff options
| author | Julian Andres Klode <jak@debian.org> | 2016-01-23 15:02:48 +0100 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2016-01-23 15:13:04 +0100 |
| commit | 19819ac58a420275e0ae9aa7e2a34c72cba8af5e (patch) | |
| tree | 3834146d4cd0084b9bbb87e1fb51237722af3cc8 /doc/design.dbk | |
| parent | 0c20302f5a02f9961b1a5c63913434ba03dcf3a0 (diff) | |
Pass the old map size to ReMap()
This allows us to check if a value to be remapped was inside
the cache or not, which will become useful at a later point.
Gbp-Dch: ignore
Diffstat (limited to 'doc/design.dbk')
0 files changed, 0 insertions, 0 deletions