pub const SGX_FLAGS_INITTED: u32 = 1;