HelenOS sources

gicv2_cpui_regs_t   61 kernel/arch/arm64/src/mach/hikey960/hikey960.c 	gicv2_cpui_regs_t *cpui = (void *) km_map(HIKEY960_GIC_CPUI_ADDRESS,
gicv2_cpui_regs_t   79 kernel/arch/arm64/src/mach/virt/virt.c 	gicv2_cpui_regs_t *cpui = (void *) km_map(VIRT_GIC_CPUI_ADDRESS,
gicv2_cpui_regs_t  158 kernel/genarch/include/genarch/drivers/gicv2/gicv2.h 	gicv2_cpui_regs_t *cpui;
gicv2_cpui_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_cpui_regs_t   49 kernel/genarch/src/drivers/gicv2/gicv2.c     gicv2_cpui_regs_t *cpui)
gicv2_cpui_regs_t  235 uspace/drv/intctl/gicv2/gicv2.c 	    (void *) res->cpui_base, sizeof(gicv2_cpui_regs_t), &gicv2->cpui);