Symbol: dist_ipriorityr_write
sys/arm64/vmm/io/vgic_v3.c
236
static register_write dist_ipriorityr_write;
sys/arm64/vmm/io/vgic_v3.c
295
dist_ipriorityr_write),