marvel_is_ioaddr  817 arch/alpha/kernel/core_marvel.c 	else if (marvel_is_ioaddr(addr))
marvel_is_ioaddr  835 arch/alpha/kernel/core_marvel.c 	else if (marvel_is_ioaddr(addr))