commit 186b764bbfdf8ffbb3556ba583c74f06342e9961
author zhaochan <zhaochan@baidu.com> Wed Mar 03 22:27:49 2021 +0800
committer zhaochan <zhaochan@baidu.com> Wed Mar 03 22:27:49 2021 +0800
tree c4db1c02b5f2c92e8ae8aea5832e7e9051f0e4c5
parent 59e1b23354b2ca40c33d451a21dbedb6e28d47fd

bug fix

edl/sgx_sys.edl

diff --git a/edl/sgx_sys.edl b/edl/sgx_sys.edl
index e940581..f5f3d2c 100644
--- a/edl/sgx_sys.edl
+++ b/edl/sgx_sys.edl
@@ -26,7 +26,7 @@
     untrusted {
         long u_sysconf_ocall([out] int *error, int name);
         int u_prctl_ocall([out] int *error, int option, unsigned long arg2, unsigned long arg3, unsigned long arg4, unsigned long arg5);
-        int u_sched_setaffinity_ocall([out] int *error, pid_t pid, size_t cpusetsize, [in]cpu_set_t *mask);
-        int u_sched_getaffinity_ocall([out] int *error, pid_t pid, size_t cpusetsize, [out]cpu_set_t *mask);
+        int u_sched_setaffinity_ocall([out] int *error, pid_t pid, size_t cpusetsize, [in, size=cpusetsize]cpu_set_t *mask);
+        int u_sched_getaffinity_ocall([out] int *error, pid_t pid, size_t cpusetsize, [out, size=cpusetsize]cpu_set_t *mask);
     };
 };

sgx_edl/edl/sgx_sys.edl

diff --git a/sgx_edl/edl/sgx_sys.edl b/sgx_edl/edl/sgx_sys.edl
index e940581..f5f3d2c 100644
--- a/sgx_edl/edl/sgx_sys.edl
+++ b/sgx_edl/edl/sgx_sys.edl
@@ -26,7 +26,7 @@
     untrusted {
         long u_sysconf_ocall([out] int *error, int name);
         int u_prctl_ocall([out] int *error, int option, unsigned long arg2, unsigned long arg3, unsigned long arg4, unsigned long arg5);
-        int u_sched_setaffinity_ocall([out] int *error, pid_t pid, size_t cpusetsize, [in]cpu_set_t *mask);
-        int u_sched_getaffinity_ocall([out] int *error, pid_t pid, size_t cpusetsize, [out]cpu_set_t *mask);
+        int u_sched_setaffinity_ocall([out] int *error, pid_t pid, size_t cpusetsize, [in, size=cpusetsize]cpu_set_t *mask);
+        int u_sched_getaffinity_ocall([out] int *error, pid_t pid, size_t cpusetsize, [out, size=cpusetsize]cpu_set_t *mask);
     };
 };