Symbol: gsb_ack
drivers/irqchip/irq-gic-v5.c
960
gsb_ack();
tools/testing/selftests/kvm/arm64/vgic_v5.c
50
gsb_ack();