HelenOS sources

bbxm_frame_init    53 kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c static void bbxm_frame_init(void);
bbxm_frame_init    74 kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c 	.machine_frame_init = bbxm_frame_init,