+ struct _kernelrpc_mach_port_unguard_args *args);
+
+struct mach_generate_activity_id_args {
+ PAD_ARG_(mach_port_name_t, target);
+ PAD_ARG_(int, count);
+ PAD_ARG_(user_addr_t, activity_id);
+};
+extern kern_return_t mach_generate_activity_id(
+ struct mach_generate_activity_id_args *args);
+
+/*
+ * Voucher trap interfaces
+ */
+
+struct host_create_mach_voucher_args {
+ PAD_ARG_(mach_port_name_t, host);
+ PAD_ARG_(mach_voucher_attr_raw_recipe_array_t, recipes);
+ PAD_ARG_(int, recipes_size);
+ PAD_ARG_(user_addr_t, voucher);
+};
+extern kern_return_t host_create_mach_voucher_trap(
+ struct host_create_mach_voucher_args *args);
+
+struct mach_voucher_extract_attr_recipe_args {
+ PAD_ARG_(mach_port_name_t, voucher_name);
+ PAD_ARG_(mach_voucher_attr_key_t, key);
+ PAD_ARG_(mach_voucher_attr_raw_recipe_t, recipe);
+ PAD_ARG_(user_addr_t, recipe_size);
+};
+
+extern kern_return_t mach_voucher_extract_attr_recipe_trap(
+ 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);