Searched refs:_hurd_device_master (Results 1 – 3 of 3) sorted by relevance
23 mach_port_t _hurd_host_priv, _hurd_device_master; variable31 || (device_master_ptr && _hurd_device_master == MACH_PORT_NULL)) in __get_privileged_ports()40 &_hurd_device_master)); in __get_privileged_ports()60 error_t err = _hurd_device_master == MACH_PORT_NULL ? 0 in __get_privileged_ports()62 _hurd_device_master, MACH_PORT_RIGHT_SEND, +1); in __get_privileged_ports()65 *device_master_ptr = _hurd_device_master; in __get_privileged_ports()
28 _hurd_device_master;
320 extern mach_port_t _hurd_host_priv, _hurd_device_master;
Completed in 6 milliseconds