Symbol: redist_ispendr0_write
sys/arm64/vmm/io/vgic_v3.c
377
static register_write redist_ispendr0_write;
sys/arm64/vmm/io/vgic_v3.c
402
redist_ispendr0_write),