kvmppc_get_vmx_byte_offset 1067 arch/powerpc/kvm/powerpc.c int offset = kvmppc_get_vmx_byte_offset(vcpu, kvmppc_get_vmx_byte_offset 1577 arch/powerpc/kvm/powerpc.c kvmppc_get_vmx_byte_offset(vcpu, vcpu->arch.mmio_vmx_offset);