VSCode SGX Language Support
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

13 lines
477 B

  1. enclave {
  2. trusted {
  3. public int ecall_copy([in, string] const char *str);
  4. public int ecall_nocopy([user_check] const char *str);
  5. public size_t ecall_copy_pointer([in, size = 1] const void *p);
  6. public size_t ecall_nocopy_pointer([user_check] const void *p);
  7. public int ecall_invoke_read([in, string] const char *filename);
  8. };
  9. untrusted {
  10. int ocall_read_from_file([in, string] const char *filename, [out, size=buffer_size] char *buffer, size_t buffer_size);
  11. };
  12. };