tvm.edl 1.13 KB
Newer Older
nhynes committed
1 2
enclave {
    from "sgx_tstdc.edl" import *;
nhynes committed
3 4
    from "sgx_stdio.edl" import *;
    from "sgx_backtrace.edl" import *;
nhynes committed
5 6 7 8 9 10 11

    trusted {
        public void tvm_ecall_init([isptr, user_check] TVMRetValueHandle ret);
        public void tvm_ecall_packed_func(int func_id,
                                          [in, count=num_args] const TVMValue* arg_values,
                                          [in, count=num_args] const int* type_codes,
                                          int num_args,
12 13
                                          [out] TVMValue* ret_val,
                                          [out] int* ret_type_code);
nhynes committed
14 15 16 17 18 19 20 21 22 23 24 25 26
    };

    untrusted {
        void tvm_ocall_packed_func([in, string] const char* name,
                                   [in, count=num_args] const TVMValue* arg_values,
                                   [in, count=num_args] const int* type_codes,
                                   int num_args,
                                   [out] TVMValue* ret_val,
                                   [out] int* ret_type_code);
        void tvm_ocall_register_export([in, string] const char* name, int func_id);
    };
};