/* 8 */ MACH_TRAP(kern_invalid, 0, 0, NULL),
/* 9 */ MACH_TRAP(kern_invalid, 0, 0, NULL),
/* 10 */ MACH_TRAP(_kernelrpc_mach_vm_allocate_trap, 4, 5, munge_wwlw),
-/* 11 */ MACH_TRAP(kern_invalid, 0, 0, NULL),
+/* 11 */ MACH_TRAP(_kernelrpc_mach_vm_purgable_control_trap, 4, 5, munge_wlww),
/* 12 */ MACH_TRAP(_kernelrpc_mach_vm_deallocate_trap, 3, 5, munge_wll),
/* 13 */ MACH_TRAP(kern_invalid, 0, 0, NULL),
/* 14 */ MACH_TRAP(_kernelrpc_mach_vm_protect_trap, 5, 7, munge_wllww),
/* 40 */ MACH_TRAP(kern_invalid, 0, 0, NULL),
/* 41 */ MACH_TRAP(_kernelrpc_mach_port_guard_trap, 4, 5, munge_wwlw),
/* 42 */ MACH_TRAP(_kernelrpc_mach_port_unguard_trap, 3, 4, munge_wwl),
-/* 43 */ MACH_TRAP(kern_invalid, 0, 0, NULL),
+/* 43 */ MACH_TRAP(mach_generate_activity_id, 3, 3, munge_www),
/* 44 */ MACH_TRAP(task_name_for_pid, 3, 3, munge_www),
/* 45 */ MACH_TRAP(task_for_pid, 3, 3, munge_www),
/* 46 */ MACH_TRAP(pid_for_task, 2, 2, munge_ww),
/* 67 */ MACH_TRAP(kern_invalid, 0, 0, NULL),
/* 68 */ MACH_TRAP(kern_invalid, 0, 0, NULL),
/* 69 */ MACH_TRAP(kern_invalid, 0, 0, NULL),
-/* 70 */ MACH_TRAP(kern_invalid, 0, 0, NULL),
+/* 70 */ MACH_TRAP(host_create_mach_voucher_trap, 4, 4, munge_wwww),
/* 71 */ MACH_TRAP(kern_invalid, 0, 0, NULL),
-/* 72 */ MACH_TRAP(kern_invalid, 0, 0, NULL),
+/* 72 */ MACH_TRAP(mach_voucher_extract_attr_recipe_trap, 4, 4, munge_wwww),
/* 73 */ MACH_TRAP(kern_invalid, 0, 0, NULL),
/* 74 */ MACH_TRAP(kern_invalid, 0, 0, NULL),
/* 75 */ MACH_TRAP(kern_invalid, 0, 0, NULL),
/* 40 */ "kern_invalid",
/* 41 */ "_kernelrpc_mach_port_guard_trap",
/* 42 */ "_kernelrpc_mach_port_unguard_trap",
-/* 43 */ "kern_invalid",
+/* 43 */ "mach_generate_activity_id",
/* 44 */ "task_name_for_pid",
/* 45 */ "task_for_pid",
/* 46 */ "pid_for_task",
/* 67 */ "kern_invalid",
/* 68 */ "kern_invalid",
/* 69 */ "kern_invalid",
-/* 70 */ "kern_invalid",
+/* 70 */ "host_create_mach_voucher_trap",
/* 71 */ "kern_invalid",
-/* 72 */ "kern_invalid",
+/* 72 */ "mach_voucher_extract_attr_recipe_trap",
/* 73 */ "kern_invalid",
/* 74 */ "kern_invalid",
/* 75 */ "kern_invalid",