diff options
| author | Zheng Da <zhengda1936@gmail.com> | 2010-02-27 14:14:02 +0100 |
|---|---|---|
| committer | Zheng Da <zhengda1936@gmail.com> | 2010-02-27 14:14:02 +0100 |
| commit | 1c3c575b2324f666b816164afe3a100896b81840 (patch) | |
| tree | befeb9b995a903b71479342b01a2be8a5af6c477 /libddekit/device.defs | |
| parent | 5ea9105dff5f22606026afcd88b178110282b224 (diff) | |
remove RPCs for PCI conf space.
Diffstat (limited to 'libddekit/device.defs')
| -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( |