diff options
| author | Damien Zammit <damien@zamaudio.com> | 2024-02-23 08:15:11 +0000 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2024-02-23 14:14:52 +0100 |
| commit | e5872f2d6a0129dfc4a564b8af8a0f45dcdce86c (patch) | |
| tree | 54df87f9773f4293d5ccd06750f601db72674759 /kern/task.c | |
| parent | 082831b9a62c7582635c564791d329e2477e2de4 (diff) | |
| download | gnumach-e5872f2d6a0129dfc4a564b8af8a0f45dcdce86c.tar.gz gnumach-e5872f2d6a0129dfc4a564b8af8a0f45dcdce86c.tar.bz2 gnumach-e5872f2d6a0129dfc4a564b8af8a0f45dcdce86c.zip | |
vm_map: Add comment and assert for vm_map_delete
This will prevent calling vm_map_delete without the map locked
unless ref_count is zero.
Message-ID: <20240223081505.458240-1-damien@zamaudio.com>
Diffstat (limited to 'kern/task.c')
0 files changed, 0 insertions, 0 deletions