pub const SGX_FLAGS_MODE64BIT: u32 = 4;