diff options
| author | Wim Taymans <wtaymans@redhat.com> | 2020-04-22 11:30:53 +0200 |
|---|---|---|
| committer | Wim Taymans <wtaymans@redhat.com> | 2020-04-22 11:30:53 +0200 |
| commit | 8ab67c5fa0a941c7d6e1edd58538baa024f7f9dd (patch) | |
| tree | de93fe2398f5f7a132ac1eeeea9b61dd29aa553f /src/.gitignore | |
| parent | d68e7ed58abc6c3d4104f4652783a5a26f08a7b1 (diff) | |
mem: implement remove_id
Rename (the non-exported symbol) _unref_id -> _remove_id and make it
remove the id from the map of known ids. This way, the server can send
the remove_mem and reuse the id for new memory before all references
are gone. Fixes "invalid mem id X, expected Y" errors.
Diffstat (limited to 'src/.gitignore')
0 files changed, 0 insertions, 0 deletions