core_marvel.h  218 arch/alpha/include/asm/io.h # include <asm/core_marvel.h>
core_marvel.h   10 arch/alpha/kernel/core_marvel.c #include <asm/core_marvel.h>
core_marvel.h   15 arch/alpha/kernel/err_marvel.c #include <asm/core_marvel.h>
core_marvel.h   22 arch/alpha/kernel/sys_marvel.c #include <asm/core_marvel.h>