FIXUP_IOADDR_VGA  805 arch/alpha/kernel/core_marvel.c 	FIXUP_IOADDR_VGA(addr);
FIXUP_IOADDR_VGA  450 arch/alpha/kernel/core_titan.c 	FIXUP_IOADDR_VGA(addr);
FIXUP_IOADDR_VGA  359 arch/alpha/kernel/core_tsunami.c 	FIXUP_IOADDR_VGA(addr);