diff options
Diffstat (limited to 'libddekit')
| -rw-r--r-- | libddekit/device.defs | 38 |
1 files changed, 0 insertions, 38 deletions
diff --git a/libddekit/device.defs b/libddekit/device.defs index 6a73853a..07ff58f6 100644 --- a/libddekit/device.defs +++ b/libddekit/device.defs @@ -158,44 +158,6 @@ routine device_intr_notify( ); /* - * Test whether IPC devices exist. - */ -routine pci_present( - master_port : mach_port_t); - -/* - * Find the specified PCI device. - */ -routine pci_find_device( - master_port : mach_port_t; - vendor : short; - device_id : short; - index : short; - out bus : char; - out device_fn : char); - -/* - * Read the configuration space of a IPC device. - */ -routine pci_read_config( - master_port : mach_port_t; - bus : char; - device_fn : char; - where : char; - bytes_wanted : int; - out result : pci_config_data_t); - -/* - * Write the configuration space of a IPC device. - */ -routine pci_write_config( - master_port : mach_port_t; - bus : char; - device_fn : char; - where : char; - data : pci_config_data_t); - -/* * enable/disable the specified irq. */ routine device_irq_enable( |