sys/arm64/vmm/io/vgic_v3.c

196

VGIC_REGISTER_RANGE_RAZ_WI(start_addr, \

sys/arm64/vmm/io/vgic_v3.c

264

VGIC_REGISTER_RANGE_RAZ_WI(GICD_IGROUPR(0), GICD_IGROUPR(1024), 4,

sys/arm64/vmm/io/vgic_v3.c

291

VGIC_REGISTER_RANGE_RAZ_WI(GICD_IPRIORITYR(0), GICD_IPRIORITYR(32), 4,

sys/arm64/vmm/io/vgic_v3.c

297

VGIC_REGISTER_RANGE_RAZ_WI(GICD_ITARGETSR(0), GICD_ITARGETSR(1024), 4,

sys/arm64/vmm/io/vgic_v3.c

300

VGIC_REGISTER_RANGE_RAZ_WI(GICD_ICFGR(0), GICD_ICFGR(32), 4,

sys/arm64/vmm/io/vgic_v3.c

322

VGIC_REGISTER_RANGE_RAZ_WI(GICD_PIDR4, GICD_PIDR2, 4, VGIC_32_BIT),

sys/arm64/vmm/io/vgic_v3.c

325

VGIC_REGISTER_RANGE_RAZ_WI(GICD_PIDR2 + 4, GICD_SIZE, 4, VGIC_32_BIT),

sys/arm64/vmm/io/vgic_v3.c

362

VGIC_REGISTER_RANGE_RAZ_WI(GICD_PIDR4, GICD_PIDR2, 4, VGIC_32_BIT),

sys/arm64/vmm/io/vgic_v3.c

365

VGIC_REGISTER_RANGE_RAZ_WI(GICD_PIDR2 + 4, GICD_SIZE, 4,