powerpc/kvm/booke.c

98 	printk("srr0: %08llx srr1: %08llx\n", vcpu->arch.shared->srr0,
386 static void set_guest_srr(struct kvm_vcpu *vcpu, unsigned long srr0, u32 srr1)
388 	kvmppc_set_srr0(vcpu, srr0);
392 static void set_guest_csrr(struct kvm_vcpu *vcpu, unsigned long srr0, u32 srr1)
394 	vcpu->arch.csrr0 = srr0;
398 static void set_guest_dsrr(struct kvm_vcpu *vcpu, unsigned long srr0, u32 srr1)
401 		vcpu->arch.dsrr0 = srr0;
404 		set_guest_csrr(vcpu, srr0, srr1);
408 static void set_guest_mcsrr(struct kvm_vcpu *vcpu, unsigned long srr0, u32 srr1)
410 	vcpu->arch.mcsrr0 = srr0;
1459 	regs->srr0 = kvmppc_get_srr0(vcpu);
1490 	kvmppc_set_srr0(vcpu, regs->srr0);