HelenOS sources

ICP_FB             71 kernel/arch/arm32/include/arch/mach/integratorcp/integratorcp.h #define ICP_FB_FRAME			(ICP_FB >> 12)
ICP_FB            103 kernel/arch/arm32/src/mach/integratorcp/integratorcp.c 	*(uint32_t *) ((char *)(icp.hw_map.vga) + 0x10) = ICP_FB;
ICP_FB            301 kernel/arch/arm32/src/mach/integratorcp/integratorcp.c 		.addr = ICP_FB,