KVM_REG_PPC_DABRX  630 arch/powerpc/include/uapi/asm/kvm.h #define KVM_REG_PPC_DABRX	(KVM_REG_PPC | KVM_REG_SIZE_U32 | 0xb8)
KVM_REG_PPC_DABRX  630 tools/arch/powerpc/include/uapi/asm/kvm.h #define KVM_REG_PPC_DABRX	(KVM_REG_PPC | KVM_REG_SIZE_U32 | 0xb8)