DABRX_HYP         310 arch/powerpc/include/asm/reg.h #define   DABRX_ALL     (DABRX_BTI | DABRX_HYP | DABRX_KERNEL | DABRX_USER)
DABRX_HYP         790 arch/powerpc/kvm/book3s_hv.c 		if (value2 & DABRX_HYP)
DABRX_HYP        1860 arch/powerpc/kvm/book3s_hv.c 		vcpu->arch.dabrx = set_reg_val(id, *val) & ~DABRX_HYP;