kvmppc_get_vmx_hword_offset
int offset = kvmppc_get_vmx_hword_offset(vcpu,
kvmppc_get_vmx_hword_offset(vcpu, vcpu->arch.mmio_vmx_offset);