Symbol: redist_ipriorityr_write
sys/arm64/vmm/io/vgic_v3.c
387
static register_write redist_ipriorityr_write;
sys/arm64/vmm/io/vgic_v3.c
411
redist_ipriorityr_write),