HelenOS sources

pl050_init        327 kernel/arch/arm32/src/mach/integratorcp/integratorcp.c 	pl050_instance_t *pl050_instance = pl050_init(pl050, ICP_KBD_IRQ);
pl050_init         96 kernel/genarch/include/genarch/drivers/pl050/pl050.h extern pl050_instance_t *pl050_init(pl050_t *, inr_t);
pl050_init        340 uspace/drv/char/pl050/pl050.c 	rc = pl050_init(pl050);