This is an automated email from the ASF dual-hosted git repository.
rduan pushed a commit to branch master
in repository https://gitbox.apache.org/repos/asf/incubator-teaclave-sgx-sdk.git
The following commit(s) were added to refs/heads/master by this push:
new 186b764 bug fix
new 3a5befd Merge pull request #320 from Zha0Chan/master
186b764 is described below
commit 186b764bbfdf8ffbb3556ba583c74f06342e9961
Author: zhaochan <[email protected]>
AuthorDate: Wed Mar 3 22:27:49 2021 +0800
bug fix
---
edl/sgx_sys.edl | 4 ++--
sgx_edl/edl/sgx_sys.edl | 4 ++--
2 files changed, 4 insertions(+), 4 deletions(-)
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 @@ enclave {
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);
};
};
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 @@ enclave {
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);
};
};
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
