icp_vga_init 91 kernel/arch/arm32/src/mach/integratorcp/integratorcp.c void icp_vga_init(void); icp_vga_init 296 kernel/arch/arm32/src/mach/integratorcp/integratorcp.c icp_vga_init();