1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162 |
- enclave {
-
- include "user_types.h"
-
-
- from "Edger8rSyntax/Types.edl" import *;
- from "Edger8rSyntax/Pointers.edl" import *;
- from "Edger8rSyntax/Arrays.edl" import *;
- from "Edger8rSyntax/Functions.edl" import *;
- from "TrustedLibrary/Libc.edl" import *;
- from "TrustedLibrary/Libcxx.edl" import ecall_exception, ecall_map;
- from "TrustedLibrary/Thread.edl" import *;
-
- untrusted {
- void ocall_print_string([in, string] const char *str);
- };
- };
|