4 TYPE
BWL(pci_read
) (pciaddr_t a
)
9 switch ( __pci_cfg_type
) {
11 pci_set_config_type(PCI_CFG_AUTO
);
12 break; /* Try again */
20 r
= BWL(in
) (0xcfc + (a
& 3));
28 uint8_t oldcf8
, oldcfa
;
30 if ( a
& (0x10 << 11) )
31 return (TYPE
)~0; /* Device 16-31 not supported */
36 outb(0xf0 + ((a
>> (8-1)) & 0x0e), 0xcf8);
38 r
= BWL(in
) (0xc000 + ((a
>> (11-8)) & 0xf00) + (a
& 0xff));
46 return (TYPE
) __pci_read_bios(BIOSCALL
, a
);