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/device.defs | |
| parent | 5ea9105dff5f22606026afcd88b178110282b224 (diff) | |
remove RPCs for PCI conf space.
Diffstat (limited to 'libmachdev/device.defs')
| -rw-r--r-- | libmachdev/device.defs | 39 |
1 files changed, 0 insertions, 39 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( |