pub const SGX_PLATFORM_INFO_SIZE: u32 = 101;