HelenOS sources

gicv2_distr_regs_t   58 kernel/arch/arm64/src/mach/hikey960/hikey960.c 	gicv2_distr_regs_t *distr = (void *) km_map(HIKEY960_GIC_DISTR_ADDRESS,
gicv2_distr_regs_t   76 kernel/arch/arm64/src/mach/virt/virt.c 	gicv2_distr_regs_t *distr = (void *) km_map(VIRT_GIC_DISTR_ADDRESS,
gicv2_distr_regs_t  157 kernel/genarch/include/genarch/drivers/gicv2/gicv2.h 	gicv2_distr_regs_t *distr;
gicv2_distr_regs_t  162 kernel/genarch/include/genarch/drivers/gicv2/gicv2.h extern void gicv2_init(gicv2_t *, gicv2_distr_regs_t *, gicv2_cpui_regs_t *);
gicv2_distr_regs_t   48 kernel/genarch/src/drivers/gicv2/gicv2.c void gicv2_init(gicv2_t *irqc, gicv2_distr_regs_t *distr,
gicv2_distr_regs_t  169 uspace/drv/intctl/gicv2/gicv2.c 	gicv2_distr_regs_t *distr = (gicv2_distr_regs_t *) gicv2->distr;
gicv2_distr_regs_t  226 uspace/drv/intctl/gicv2/gicv2.c 	rc = pio_enable((void *) res->distr_base, sizeof(gicv2_distr_regs_t),
gicv2_distr_regs_t  263 uspace/drv/intctl/gicv2/gicv2.c 	gicv2_distr_regs_t *distr = (gicv2_distr_regs_t *) gicv2->distr;