Symbol: dist_icpendr_read
sys/arm64/vmm/io/vgic_v3.c
226
static register_read dist_icpendr_read;
sys/arm64/vmm/io/vgic_v3.c
281
VGIC_32_BIT, dist_icpendr_read, dist_icpendr_write),