HelenOS sources

bcm2835_irc_t      71 kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c 	bcm2835_irc_t	*irc;
bcm2835_irc_t     104 kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c 	raspi.irc = (void *) km_map(BCM2835_IRC_ADDR, sizeof(bcm2835_irc_t),
bcm2835_irc_t      76 kernel/genarch/include/genarch/drivers/bcm2835/irc.h extern void bcm2835_irc_init(bcm2835_irc_t *);
bcm2835_irc_t      77 kernel/genarch/include/genarch/drivers/bcm2835/irc.h extern unsigned bcm2835_irc_inum_get(bcm2835_irc_t *);
bcm2835_irc_t      78 kernel/genarch/include/genarch/drivers/bcm2835/irc.h extern void bcm2835_irc_enable(bcm2835_irc_t *, unsigned);
bcm2835_irc_t      79 kernel/genarch/include/genarch/drivers/bcm2835/irc.h extern void bcm2835_irc_disable(bcm2835_irc_t *, unsigned);
bcm2835_irc_t      44 kernel/genarch/src/drivers/bcm2835/irc.c static void bcm2835_irc_dump(bcm2835_irc_t *regs)
bcm2835_irc_t      61 kernel/genarch/src/drivers/bcm2835/irc.c void bcm2835_irc_init(bcm2835_irc_t *regs)
bcm2835_irc_t      87 kernel/genarch/src/drivers/bcm2835/irc.c unsigned bcm2835_irc_inum_get(bcm2835_irc_t *regs)
bcm2835_irc_t     127 kernel/genarch/src/drivers/bcm2835/irc.c void bcm2835_irc_enable(bcm2835_irc_t *regs, unsigned inum)
bcm2835_irc_t     133 kernel/genarch/src/drivers/bcm2835/irc.c void bcm2835_irc_disable(bcm2835_irc_t *regs, unsigned inum)