+ struct mach_voucher_extract_attr_recipe_args *args);
+
+struct _kernelrpc_mach_port_type_args {
+ PAD_ARG_(mach_port_name_t, target);
+ PAD_ARG_(mach_port_right_t, name);
+ PAD_ARG_(user_addr_t, ptype);
+};
+extern kern_return_t _kernelrpc_mach_port_type_trap(
+ struct _kernelrpc_mach_port_type_args *args);
+
+struct _kernelrpc_mach_port_request_notification_args {
+ PAD_ARG_(mach_port_name_t, target);
+ PAD_ARG_(mach_port_name_t, name);
+ PAD_ARG_(mach_msg_id_t, msgid);
+ PAD_ARG_(mach_port_mscount_t, sync);
+ PAD_ARG_(mach_port_name_t, notify);
+ PAD_ARG_(mach_msg_type_name_t, notifyPoly);
+ PAD_ARG_(user_addr_t, previous);
+};
+extern kern_return_t _kernelrpc_mach_port_request_notification_trap(
+ struct _kernelrpc_mach_port_request_notification_args *args);