Symbol: redist_ipendr0_read
sys/arm64/vmm/io/vgic_v3.c
376
static register_read redist_ipendr0_read;
sys/arm64/vmm/io/vgic_v3.c
401
VGIC_REGISTER(GICR_ISPENDR0, 4, VGIC_32_BIT, redist_ipendr0_read,
sys/arm64/vmm/io/vgic_v3.c
403
VGIC_REGISTER(GICR_ICPENDR0, 4, VGIC_32_BIT, redist_ipendr0_read,