arm/vgic/vgic.c

107 #define GIC_DIST_REGN(offset, reg) ((offset-reg)/sizeof(uint32_t))
640     int offset = fault_get_address(fault) - d->pstart;
646     switch (offset) {
669         reg_offset = GIC_DIST_REGN(offset, GIC_DIST_IGROUPR1);
676         reg_offset = GIC_DIST_REGN(offset, GIC_DIST_ISENABLER1);
683         reg_offset = GIC_DIST_REGN(offset, GIC_DIST_ICENABLER1);
690         reg_offset = GIC_DIST_REGN(offset, GIC_DIST_ISPENDR1);
697         reg_offset = GIC_DIST_REGN(offset, GIC_DIST_ICPENDR1);
704         reg_offset = GIC_DIST_REGN(offset, GIC_DIST_ISACTIVER1);
711         reg_offset = GIC_DIST_REGN(offset, GIC_DIST_ICACTIVER1);
715         reg_offset = GIC_DIST_REGN(offset, GIC_DIST_IPRIORITYR0);
719         reg_offset = GIC_DIST_REGN(offset, GIC_DIST_IPRIORITYR8);
726         reg_offset = GIC_DIST_REGN(offset, GIC_DIST_ITARGETSR0);
730         reg_offset = GIC_DIST_REGN(offset, GIC_DIST_ITARGETSR8);
737         reg_offset = GIC_DIST_REGN(offset, GIC_DIST_ICFGR0);
742         reg_ptr = (uint32_t *)(base_reg + (offset - 0xD00));
756         reg_offset = GIC_DIST_REGN(offset, GIC_DIST_CPENDSGIR0);
760         reg_offset = GIC_DIST_REGN(offset, GIC_DIST_SPENDSGIR0);
768         reg_ptr = (uint32_t *)(base_reg + (offset - 0xFC0));
772         ZF_LOGE("Unknown register offset 0x%x\n", offset);
795     int offset = fault_get_address(fault) - d->pstart;
801     switch (offset) {
829         reg_offset = GIC_DIST_REGN(offset, GIC_DIST_IGROUPR1);
840             irq += (offset - GIC_DIST_ISENABLER0) * 8;
852             irq += (offset - GIC_DIST_ICENABLER0) * 8;
864             irq += (offset - GIC_DIST_ISPENDR0) * 8;
876             irq += (offset - 0x280) * 8;
884         reg_offset = GIC_DIST_REGN(offset, GIC_DIST_ISACTIVER1);
891         reg_offset = GIC_DIST_REGN(offset, GIC_DIST_ICACTIVER1);
955         ZF_LOGE("Unknown register offset 0x%x\n", offset);