Type Definition sgx_types::SGX_FILE

type SGX_FILE = *mut c_void;