Symbol: kvmppc_update_int_pending
arch/powerpc/kvm/book3s.c
175
kvmppc_update_int_pending(vcpu, vcpu->arch.pending_exceptions,
arch/powerpc/kvm/book3s.c
418
kvmppc_update_int_pending(vcpu, *pending, old_pending);