2 * Copyright 2006, Marcus Overhagen. All rights reserved.
3 * Distributed under the terms of the MIT License.
7 #include "pci_private.h"
19 pci_bios_read_config(void *cookie
, uint8 bus
, uint8 device
, uint8 function
,
20 uint16 offset
, uint8 size
, uint32
*value
)
27 pci_bios_write_config(void *cookie
, uint8 bus
, uint8 device
, uint8 function
,
28 uint16 offset
, uint8 size
, uint32 value
)
35 pci_bios_get_max_bus_devices(void *cookie
, int32
*count
)