kvmppc_get_vmx_dword_offset 1019 arch/powerpc/kvm/powerpc.c 	int offset = kvmppc_get_vmx_dword_offset(vcpu,
kvmppc_get_vmx_dword_offset 1523 arch/powerpc/kvm/powerpc.c 		kvmppc_get_vmx_dword_offset(vcpu, vcpu->arch.mmio_vmx_offset);