pub const XSTATE_ALIGN_MASK: u64 = 1 << XSTATE_ALIGN_BIT; // 2u64