Searched refs:kvmppc_set_vmx_dword (Results 1 – 1 of 1) sorted by relevance
1044 static inline void kvmppc_set_vmx_dword(struct kvm_vcpu *vcpu, in kvmppc_set_vmx_dword() function1225 kvmppc_set_vmx_dword(vcpu, gpr); in kvmppc_complete_mmio_load()