Symbol: marvel_is_ioaddr
arch/alpha/kernel/core_marvel.c
811
else if (marvel_is_ioaddr(addr))
arch/alpha/kernel/core_marvel.c
829
else if (marvel_is_ioaddr(addr))