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
;
27 if ( a
& (0x10 << 11) )
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_write_bios(BIOSCALL
, v
, a
);