#include "pal_linux.h"
#include "pal_security.h"

int ecall_enclave_start(char* args, size_t args_size, char* env, size_t env_size);

int ecall_thread_start(void);

int ecall_thread_reset(void);