28 lines
1.1 KiB
Plaintext
28 lines
1.1 KiB
Plaintext
enclave {
|
|
from "sgx_stdio.edl" import *;
|
|
from "sgx_backtrace.edl" import *;
|
|
from "sgx_tstdc.edl" import *;
|
|
from "sgx_tstd.edl" import *;
|
|
from "sgx_tprotected_fs.edl" import *;
|
|
from "sgx_net.edl" import *;
|
|
|
|
trusted {
|
|
/* define ECALLs here. */
|
|
public int libos_boot([in, string] const char* executable_path, [user_check] const char** argv);
|
|
public int libos_run(int host_tid);
|
|
/* This is only for debug usage */
|
|
public int dummy_ecall(void);
|
|
};
|
|
|
|
untrusted {
|
|
void ocall_print_string([in, string] const char* msg);
|
|
int ocall_run_new_task(void);
|
|
void ocall_gettimeofday([out] long* sec, [out] long* us);
|
|
void ocall_clock_gettime(int clockid, [out] long* sec, [out] long* ns);
|
|
void ocall_nanosleep(long sec, long nsec);
|
|
void ocall_sync(void);
|
|
int ocall_sched_getaffinity([out] int *error, int pid, size_t cpusize, [out, size=cpusize] unsigned char* buf);
|
|
int ocall_sched_setaffinity([out] int *error, int pid, size_t cpusize, [in, size=cpusize] const unsigned char* buf);
|
|
};
|
|
};
|