pub const SGX_FLAGS_EINITTOKEN_KEY: u32 = 32;