beaglebone.h 37 kernel/arch/arm32/src/mach/beaglebone/beaglebone.c #include <arch/mach/beaglebone/beaglebone.h> beaglebone.h 44 kernel/arch/arm32/src/machine_func.c #include <arch/mach/beaglebone/beaglebone.h>