Symbol: redist_iactiver0_read
sys/arm64/vmm/io/vgic_v3.c
381
static register_read redist_iactiver0_read;
sys/arm64/vmm/io/vgic_v3.c
405
VGIC_REGISTER(GICR_ISACTIVER0, 4, VGIC_32_BIT, redist_iactiver0_read,
sys/arm64/vmm/io/vgic_v3.c
407
VGIC_REGISTER(GICR_ICACTIVER0, 4, VGIC_32_BIT, redist_iactiver0_read,