sgx_types
pub unsafe extern "C" fn sgx_cpuid( cpuinfo: *mut [int32_t; 4], leaf: int32_t) -> sgx_status_t