bbxm_init 48 kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c static void bbxm_init(void); bbxm_init 69 kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c .machine_init = bbxm_init,