PT_XSAVE_MASK
if ((xcr0 & PT_XSAVE_MASK) != PT_XSAVE_MASK)
load_xcr(XCR0, xcr0 | PT_XSAVE_MASK);
#define PT_XSTATE_BV (PT_XSAVE_MASK | XFEATURE_ENABLED_PT)