PCIADDR_PORT_END
PCIADDR_PORT_START, PCIADDR_PORT_END, M_DEVBUF, 0, 0, EX_NOWAIT);
addr = PCI_MAPREG_IO_ADDR(val) & PCIADDR_PORT_END;
: (PCI_MAPREG_IO_ADDR(val) & PCIADDR_PORT_END));