HelenOS sources

bbxm_output_init   54 kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c static void bbxm_output_init(void);
bbxm_output_init   75 kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c 	.machine_output_init = bbxm_output_init,