Symbol: redist_ienabler0_read
sys/arm64/vmm/io/vgic_v3.c
371
static register_read redist_ienabler0_read;
sys/arm64/vmm/io/vgic_v3.c
397
VGIC_REGISTER(GICR_ISENABLER0, 4, VGIC_32_BIT, redist_ienabler0_read,
sys/arm64/vmm/io/vgic_v3.c
399
VGIC_REGISTER(GICR_ICENABLER0, 4, VGIC_32_BIT, redist_ienabler0_read,