ioport_tra         64 drivers/firmware/pcdp.c 			vga_console_iobase = if_pci.ioport_tra;
ioport_tra         74 drivers/firmware/pcdp.h 	u64			ioport_tra;