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))