Searched refs:arcade_reg (Results 1 – 2 of 2) sorted by relevance
123 arcade_register_t arcade_reg = ARCADE_REG_NULL; in convert_port_to_arcade_register() local126 arcade_reg = ipc_kobject_get_stable(port, IKOT_ARCADE_REG); in convert_port_to_arcade_register()127 if (arcade_reg) { in convert_port_to_arcade_register()128 assert(arcade_reg == &arcade_register_global); in convert_port_to_arcade_register()129 assert(arcade_reg->ar_port == port); in convert_port_to_arcade_register()132 return arcade_reg; in convert_port_to_arcade_register()137 arcade_register_t arcade_reg) in convert_arcade_register_to_port() argument141 if (arcade_reg == &arcade_register_global) { in convert_arcade_register_to_port()142 port = arcade_reg->ar_port; in convert_arcade_register_to_port()149 arcade_register_t arcade_reg, in arcade_register_new_upcall() argument[all …]
49 extern void arcade_register_reference(arcade_register_t arcade_reg);51 extern void arcade_register_release(arcade_register_t arcade_reg);53 extern mach_port_t convert_arcade_register_to_port(arcade_register_t arcade_reg);