  #include <stdio.h>
  #include <stdlib.h>
  
-@@ -71,6 +78,118 @@
+@@ -71,6 +78,119 @@
  
  #define mcp_same_size(dst_ptr, src_ptr, size) memcpy_s(dst_ptr, size, src_ptr, size)
  

 uintptr_t _EINIT(secs_t* secs, enclave_css_t *css, token_t *launch)
 {
     CEnclaveMngr *mngr = CEnclaveMngr::get_instance();
@@ -129,6 +248,8 @@
         }
     }
 

     if (addr == NULL) {
         delete ce;
         return 0;
@@ -195,6 +317,11 @@
 
 uintptr_t _EREMOVE(const void *epc_lin_addr)
 {
