Symbol: dist_ipriorityr_read
sys/arm64/vmm/io/vgic_v3.c
235
static register_read dist_ipriorityr_read;
sys/arm64/vmm/io/vgic_v3.c
294
VGIC_32_BIT | VGIC_8_BIT, dist_ipriorityr_read,