PCI_IO_END
static_assert(FIXADDR_TOT_START > PCI_IO_END);
{ PCI_IO_END, "PCI I/O end" },
#define PCI_IO_START (PCI_IO_END - PCI_IO_SIZE)
(unsigned long)PCI_IO_END);
address_markers[PCI_IO_END_NR].start_address = PCI_IO_END;