set_guest_csrr    376 arch/powerpc/kvm/booke.c 		set_guest_csrr(vcpu, srr0, srr1);
set_guest_csrr    489 arch/powerpc/kvm/booke.c 			set_guest_csrr(vcpu, vcpu->arch.regs.nip,