Home
last modified time | relevance | path

Searched refs:device_master_ptr (Results 1 – 2 of 2) sorted by relevance

/hurd/
A Dprivports.c28 device_t *device_master_ptr) in __get_privileged_ports() argument
31 || (device_master_ptr && _hurd_device_master == MACH_PORT_NULL)) in __get_privileged_ports()
58 if (device_master_ptr) in __get_privileged_ports()
65 *device_master_ptr = _hurd_device_master; in __get_privileged_ports()
A Dhurd.h317 device_t *device_master_ptr);
319 device_t *device_master_ptr);

Completed in 5 milliseconds