Symbol: set_guest_csrr
arch/powerpc/kvm/booke.c
404
set_guest_csrr(vcpu, srr0, srr1);
arch/powerpc/kvm/booke.c
517
set_guest_csrr(vcpu, vcpu->arch.regs.nip,