pub const SGX_FLAGS_KSS: u32 = 128;