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 /libmachdev | |
| parent | 5ea9105dff5f22606026afcd88b178110282b224 (diff) | |
remove RPCs for PCI conf space.
Diffstat (limited to 'libmachdev')
| -rw-r--r-- | libmachdev/device.defs | 39 | ||||
| -rw-r--r-- | libmachdev/ds_routines.c | 29 |
2 files changed, 0 insertions, 68 deletions
diff --git a/libmachdev/device.defs b/libmachdev/device.defs index 6a73853a..b514b3b9 100644 --- a/libmachdev/device.defs +++ b/libmachdev/device.defs @@ -48,7 +48,6 @@ subsystem serverprefix ds_; -type pci_config_data_t = array[*:4] of char; type reply_port_t = MACH_MSG_TYPE_MAKE_SEND_ONCE | polymorphic ctype: mach_port_t; @@ -158,44 +157,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( diff --git a/libmachdev/ds_routines.c b/libmachdev/ds_routines.c index 857f64c5..1961a2f3 100644 --- a/libmachdev/ds_routines.c +++ b/libmachdev/ds_routines.c @@ -155,35 +155,6 @@ ds_device_intr_notify (mach_port_t master_port, int irq, } kern_return_t -ds_pci_write_config (mach_port_t master_port, char bus, char device_fn, - char where, pci_config_data_t data, - mach_msg_type_number_t dataCnt) -{ - return D_INVALID_OPERATION; -} - -kern_return_t -ds_pci_read_config (mach_port_t master_port, char bus, char device_fn, - char where, int bytes_wanted, pci_config_data_t result, - mach_msg_type_number_t *resultCnt) -{ - return D_INVALID_OPERATION; -} - -kern_return_t -ds_pci_find_device (mach_port_t master_port, short vendor, short device_id, - short index, short *bus, char *device_fn) -{ - return D_INVALID_OPERATION; -} - -kern_return_t -ds_pci_present (mach_port_t master_port) -{ - return D_INVALID_OPERATION; -} - -kern_return_t ds_device_irq_enable (mach_port_t master_port, int irq, char status) { |