#include "pci/pci.h"
#include <string.h>

TYPE BWL(pci_read) (pciaddr_t a) {
    TYPE r;

    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);
		r = BWL(in) (0xcfc + (a & 3));
		outl(oldcf8, 0xcf8);
		sti();
	    }
	    return r;

	case PCI_CFG_TYPE2:
	    {
		uint8_t oldcf8, oldcfa;

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

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

	case PCI_CFG_BIOS:
	    return (TYPE) __pci_read_bios(BIOSCALL, a);

	default:
	    return (TYPE) ~ 0;
	}
    }
}
