gct.h 25 arch/alpha/kernel/core_marvel.c #include <asm/gct.h> gct.h 11 arch/alpha/kernel/gct.c #include <asm/gct.h>