kvmppc_set_int_pending  104 arch/powerpc/kvm/book3s.c 		kvmppc_set_int_pending(vcpu, 1);
kvmppc_set_int_pending  106 arch/powerpc/kvm/book3s.c 		kvmppc_set_int_pending(vcpu, 0);