#include "pci/pci.h"

void BWL(pci_write) (TYPE v, pciaddr_t a) {
    for (;;) {
	switch (__pci_cfg_type) {
	case PCI_CFG_AUTO:
	    pci_set_config_type(PCI_CFG_AUTO);
	    break;		/* Try again */

	case PCI_CFG_TYPE1:
	    {
		uint32_t oldcf8;
		cli();
		oldcf8 = inl(0xcf8);
		outl(a, 0xcf8);
		BWL(out) (v, 0xcfc + (a & 3));
		outl(oldcf8, 0xcf8);
		sti();
	    }
	    return;

	case PCI_CFG_TYPE2:
	    {
		uint8_t oldcf8, oldcfa;

		if (a & (0x10 << 11))
		    return;	/* Devices 16-31 not supported */

		cli();
		oldcf8 = inb(0xcf8);
		oldcfa = inb(0xcfa);
		outb(0xf0 + ((a >> (8 - 1)) & 0x0e), 0xcf8);
		outb(a >> 16, 0xcfa);
		BWL(out) (v, 0xc000 + ((a >> (11 - 8)) & 0xf00) + (a & 0xff));
		outb(oldcf8, 0xcf8);
		outb(oldcfa, 0xcfa);
		sti();
	    }
	    return;

	case PCI_CFG_BIOS:
	    __pci_write_bios(BIOSCALL, v, a);
	    return;

	default:
	    return;
	}
    }
}
