Lines Matching refs:device_port
85 mach_port_t device_port; in hurd_cleanup_dev() local
87 device_port = *((mach_port_t *) d->backend_data); in hurd_cleanup_dev()
88 mach_port_deallocate(mach_task_self(), device_port); in hurd_cleanup_dev()
98 mach_port_t device_port = *((mach_port_t *) d->backend_data); in device_port_lookup() local
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() local
227 err = pci_conf_read(device_port, pos, &data, &nread, len); in hurd_read()
254 mach_port_t device_port = device_port_lookup(d); in hurd_write() local
259 err = pci_conf_write(device_port, pos, (char *) buf, len, &nwrote); in hurd_write()
269 mach_port_t device_port = device_port_lookup(d); in hurd_fill_regions() local
274 int err = pci_get_dev_regions(device_port, &buf, &size); in hurd_fill_regions()
311 mach_port_t device_port = device_port_lookup(d); in hurd_fill_rom() local
315 int err = pci_get_dev_rom(device_port, &buf, &size); in hurd_fill_rom()