gta02.h 37 kernel/arch/arm32/src/mach/gta02/gta02.c #include <arch/mach/gta02/gta02.h> gta02.h 41 kernel/arch/arm32/src/machine_func.c #include <arch/mach/gta02/gta02.h>