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 /ipc/ipc_object.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 'ipc/ipc_object.c')
| -rw-r--r-- | ipc/ipc_object.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ipc/ipc_object.c b/ipc/ipc_object.c index 1074fb2c..d6c332e6 100644 --- a/ipc/ipc_object.c +++ b/ipc/ipc_object.c @@ -944,6 +944,7 @@ char *ikot_print_array[IKOT_MAX_TYPE] = { "(CLOCK) ", "(CLOCK_CTRL) ", "(PAGER_PROXY) ", /* 27 */ + "(USER_DEVICE) ", /* 28 */ /* << new entries here */ "(UNKNOWN) " /* magic catchall */ }; /* Please keep in sync with kern/ipc_kobject.h */ |