Symbol: __read_pending
arch/arm64/kvm/vgic/vgic-mmio.c
289
return __read_pending(vcpu, addr, len, false);
arch/arm64/kvm/vgic/vgic-mmio.c
295
return __read_pending(vcpu, addr, len, true);