HelenOS sources

gicv2_t            51 kernel/arch/arm64/src/mach/hikey960/hikey960.c 	gicv2_t gicv2;
gicv2_t            59 kernel/arch/arm64/src/mach/virt/virt.c 	gicv2_t gicv2;
gicv2_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_t           163 kernel/genarch/include/genarch/drivers/gicv2/gicv2.h extern unsigned gicv2_inum_get_total(gicv2_t *);
gicv2_t           164 kernel/genarch/include/genarch/drivers/gicv2/gicv2.h extern void gicv2_inum_get(gicv2_t *, unsigned *, unsigned *);
gicv2_t           165 kernel/genarch/include/genarch/drivers/gicv2/gicv2.h extern void gicv2_end(gicv2_t *, unsigned, unsigned);
gicv2_t           166 kernel/genarch/include/genarch/drivers/gicv2/gicv2.h extern void gicv2_enable(gicv2_t *, unsigned);
gicv2_t           167 kernel/genarch/include/genarch/drivers/gicv2/gicv2.h extern void gicv2_disable(gicv2_t *, unsigned);
gicv2_t            48 kernel/genarch/src/drivers/gicv2/gicv2.c void gicv2_init(gicv2_t *irqc, gicv2_distr_regs_t *distr,
gicv2_t            72 kernel/genarch/src/drivers/gicv2/gicv2.c unsigned gicv2_inum_get_total(gicv2_t *irqc)
gicv2_t            78 kernel/genarch/src/drivers/gicv2/gicv2.c void gicv2_inum_get(gicv2_t *irqc, unsigned *inum, unsigned *cpuid)
gicv2_t            88 kernel/genarch/src/drivers/gicv2/gicv2.c void gicv2_end(gicv2_t *irqc, unsigned inum, unsigned cpuid)
gicv2_t           101 kernel/genarch/src/drivers/gicv2/gicv2.c void gicv2_enable(gicv2_t *irqc, unsigned inum)
gicv2_t           109 kernel/genarch/src/drivers/gicv2/gicv2.c void gicv2_disable(gicv2_t *irqc, unsigned inum)
gicv2_t           162 uspace/drv/intctl/gicv2/gicv2.c static errno_t gicv2_enable_irq(gicv2_t *gicv2, sysarg_t irq)
gicv2_t           182 uspace/drv/intctl/gicv2/gicv2.c 	gicv2_t *gicv2;
gicv2_t           189 uspace/drv/intctl/gicv2/gicv2.c 	gicv2 = (gicv2_t *)ddf_dev_data_get(ddf_fun_get_dev((ddf_fun_t *)arg));
gicv2_t           221 uspace/drv/intctl/gicv2/gicv2.c errno_t gicv2_add(gicv2_t *gicv2, gicv2_res_t *res)
gicv2_t           276 uspace/drv/intctl/gicv2/gicv2.c errno_t gicv2_remove(gicv2_t *gicv2)
gicv2_t           282 uspace/drv/intctl/gicv2/gicv2.c errno_t gicv2_gone(gicv2_t *gicv2)
gicv2_t            55 uspace/drv/intctl/gicv2/gicv2.h extern errno_t gicv2_add(gicv2_t *, gicv2_res_t *);
gicv2_t            56 uspace/drv/intctl/gicv2/gicv2.h extern errno_t gicv2_remove(gicv2_t *);
gicv2_t            57 uspace/drv/intctl/gicv2/gicv2.h extern errno_t gicv2_gone(gicv2_t *);
gicv2_t            98 uspace/drv/intctl/gicv2/main.c 	gicv2_t *gicv2;
gicv2_t           103 uspace/drv/intctl/gicv2/main.c 	gicv2 = ddf_dev_data_alloc(dev, sizeof(gicv2_t));
gicv2_t           122 uspace/drv/intctl/gicv2/main.c 	gicv2_t *gicv2 = (gicv2_t *)ddf_dev_data_get(dev);
gicv2_t           131 uspace/drv/intctl/gicv2/main.c 	gicv2_t *gicv2 = (gicv2_t *)ddf_dev_data_get(dev);