Searched refs:vendor_id (Results 1 - 9 of 9) sorted by relevance
| /seL4-test-master/projects/util_libs/libpci/src/ |
| H A D | pci.c | 36 libpci_device_t* libpci_find_device(uint16_t vendor_id, uint16_t device_id) { argument
38 if (libpci_device_list[i].vendor_id == vendor_id &&
46 int libpci_find_device_all(uint16_t vendor_id, uint16_t device_id, libpci_device_t** out) { argument
50 if (libpci_device_list[i].vendor_id == vendor_id &&
63 libpci_device_list[i].vendor_id == device->vendor_id &&
83 uint16_t vendor_id = libpci_read_reg16(bus, dev, fun, PCI_VENDOR_ID); local
85 if (vendor_id
140 uint16_t vendor_id = libpci_read_reg16(bus, dev, 0, PCI_VENDOR_ID); local
[all...] |
| H A D | virtual_pci.c | 42 bool libpci_virtual_pci_device_allow_id(libpci_virtual_pci_t* self, uint16_t vendor_id, uint16_t device_id) { argument
44 int nfound = libpci_find_device_all(vendor_id, device_id, matched_devices);
|
| /seL4-test-master/projects/util_libs/libpci/include/pci/ |
| H A D | pci.h | 33 uint16_t vendor_id; member in struct:libpci_device
52 libpci_device_t* libpci_find_device(uint16_t vendor_id, uint16_t device_id);
56 int libpci_find_device_all(uint16_t vendor_id, uint16_t device_id, libpci_device_t** out);
|
| H A D | virtual_pci.h | 44 bool (*device_allow_id) (libpci_virtual_pci_t* self, uint16_t vendor_id, uint16_t device_id);
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/include/sel4vmmplatsupport/drivers/ |
| H A D | pci_helper.h | 27 * @param {uint16_t} vendor_id
61 uint16_t vendor_id; member in struct:vmm_pci_device_def
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/drivers/ |
| H A D | virtio_con.c | 59 .vendor_id = VIRTIO_PCI_VENDOR_ID,
|
| H A D | virtio_net.c | 132 .vendor_id = VIRTIO_PCI_VENDOR_ID,
|
| H A D | cross_vm_connection.c | 61 .vendor_id = 0x1af4,
|
| H A D | pci_helper.c | 72 .vendor_id = 0x5E14,
|
Completed in 42 milliseconds