XSTATE_MPX_BNDCSR top-level constant

int const XSTATE_MPX_BNDCSR

Implementation

const int XSTATE_MPX_BNDCSR = 4;