Symbol: kvmppc_get_vmx_dword_offset
arch/powerpc/kvm/powerpc.c
1036
int offset = kvmppc_get_vmx_dword_offset(vcpu,
arch/powerpc/kvm/powerpc.c
1536
kvmppc_get_vmx_dword_offset(vcpu, vcpu->arch.mmio_vmx_offset);