2019-11-20 13:16:36 +00:00
|
|
|
/*
|
|
|
|
* Copyright (C) 2019 Intel Corporation. All rights reserved.
|
|
|
|
* SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
|
|
|
*/
|
|
|
|
|
|
|
|
enclave {
|
2019-11-22 07:33:37 +00:00
|
|
|
from "sgx_tstdc.edl" import *;
|
|
|
|
|
2019-11-20 13:16:36 +00:00
|
|
|
trusted {
|
|
|
|
/* define ECALLs here. */
|
2020-07-28 08:18:54 +00:00
|
|
|
public void ecall_handle_command(unsigned cmd,
|
|
|
|
[in, out, size=cmd_buf_size]uint8_t *cmd_buf,
|
|
|
|
unsigned cmd_buf_size);
|
|
|
|
public void ecall_iwasm_main([user_check]uint8_t *wasm_file_buf,
|
|
|
|
uint32_t wasm_file_size);
|
2019-11-20 13:16:36 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
untrusted {
|
|
|
|
/* define OCALLs here. */
|
|
|
|
void ocall_print([in, string]const char* str);
|
|
|
|
};
|
|
|
|
};
|