HelenOS sources

icp_add_fun       280 uspace/drv/platform/icp/icp.c 	rc = icp_add_fun(dev, "intctl", "integratorcp/intctl",
icp_add_fun       285 uspace/drv/platform/icp/icp.c 	rc = icp_add_fun(dev, "kbd", "arm/pl050", &icp_kbd_fun_proto);
icp_add_fun       289 uspace/drv/platform/icp/icp.c 	rc = icp_add_fun(dev, "mouse", "arm/pl050", &icp_mouse_fun_proto);
HelenOS homepage, sources at GitHub