DABRX_HYP
#define DABRX_ALL (DABRX_BTI | DABRX_HYP | DABRX_KERNEL | DABRX_USER)
vcpu->arch.dabrx = set_reg_val(id, *val) & ~DABRX_HYP;
if (value2 & DABRX_HYP)