Symbol: dist_ispendr_write
sys/arm64/vmm/io/vgic_v3.c
224
static register_write dist_ispendr_write;
sys/arm64/vmm/io/vgic_v3.c
277
VGIC_32_BIT, dist_ispendr_read, dist_ispendr_write),