Symbol: GICD_AFF
sys/arm64/vmm/io/vgic_v3.c
434
if (hypctx != NULL && (hypctx_read_sys_reg(hypctx, HOST_VMPIDR_EL2) & GICD_AFF) == mpidr)
sys/arm64/vmm/io/vgic_v3.c
484
irq->mpidr = hypctx_read_sys_reg(hypctx, HOST_VMPIDR_EL2) & GICD_AFF;
sys/arm64/vmm/io/vgic_v3.c
979
irq->mpidr = gic_reg_value_64(irq->mpidr, val, offset, size) & GICD_AFF;