3 void BWL(pci_write
)(TYPE v
, pciaddr_t a
)
6 switch (__pci_cfg_type
) {
8 pci_set_config_type(PCI_CFG_AUTO
);
17 BWL(out
) (v
, 0xcfc + (a
& 3));
25 uint8_t oldcf8
, oldcfa
;
28 return; /* Devices 16-31 not supported */
33 outb(0xf0 + ((a
>> (8 - 1)) & 0x0e), 0xcf8);
35 BWL(out
) (v
, 0xc000 + ((a
>> (11 - 8)) & 0xf00) + (a
& 0xff));
43 __pci_read_write_bios(BIOSCALL
, v
, a
);