diff options
| author | Michael Kelly <mike@weatherwax.co.uk> | 2025-08-31 23:21:54 +0200 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2025-08-31 23:21:54 +0200 |
| commit | fdfca0e86009c5a7b188fa39e939de800a73391d (patch) | |
| tree | d590b5ebe43d1ed21fd5dbae75240031e99b34a8 /kern/task.c | |
| parent | eec7037c885f6e54bf8f22d421d6abc55a2cd667 (diff) | |
Add mach_port_set_ktype RPC to set ktype of a user port
For now, we only allow a newly-introduced MACH_PORT_KTYPE_USER_DEVICE type
that makes ipc_kmsg_copyin_body use page lists, which keep them in a busy
state that prevents them from being paged out.
Diffstat (limited to 'kern/task.c')
0 files changed, 0 insertions, 0 deletions