HelenOS sources

ICP_KBD           138 kernel/arch/arm32/src/mach/integratorcp/integratorcp.c 	icp.hw_map.kbd_ctrl = km_map(ICP_KBD, PAGE_SIZE, PAGE_SIZE,
ICP_KBD           345 kernel/arch/arm32/src/mach/integratorcp/integratorcp.c 	sysinfo_set_item_val("kbd.address.physical", NULL, ICP_KBD);
HelenOS homepage, sources at GitHub