Symbol: redist_ipriorityr_read
sys/arm64/vmm/io/vgic_v3.c
386
static register_read redist_ipriorityr_read;
sys/arm64/vmm/io/vgic_v3.c
410
VGIC_32_BIT | VGIC_8_BIT, redist_ipriorityr_read,