KVM_REG_PPC_WORT 1720 arch/powerpc/kvm/book3s_hv.c case KVM_REG_PPC_WORT: KVM_REG_PPC_WORT 1937 arch/powerpc/kvm/book3s_hv.c case KVM_REG_PPC_WORT: