Searched refs:device_port (Results 1 – 1 of 1) sorted by relevance
85 mach_port_t device_port; in hurd_cleanup_dev() local87 device_port = *((mach_port_t *) d->backend_data); in hurd_cleanup_dev()100 if (device_port != MACH_PORT_NULL) in device_port_lookup()101 return device_port; in device_port_lookup()106 device_port = file_name_lookup(server, 0, 0); in device_port_lookup()108 if (device_port == MACH_PORT_NULL) in device_port_lookup()111 *((mach_port_t *) d->backend_data) = device_port; in device_port_lookup()112 return device_port; in device_port_lookup()221 mach_port_t device_port = device_port_lookup(d); in hurd_read() local254 mach_port_t device_port = device_port_lookup(d); in hurd_write() local[all …]