linux-sgx: Fix directional OCALL parameter for getsockname (#1554)

This commit is contained in:
Jämes Ménétrey 2022-10-04 15:40:37 +02:00 committed by GitHub
parent a9e5150c82
commit a7a9e40fc6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -122,7 +122,7 @@ enclave {
int ocall_bind(int sockfd, [in, size=addrlen]const void *addr, int ocall_bind(int sockfd, [in, size=addrlen]const void *addr,
uint32_t addrlen); uint32_t addrlen);
int ocall_connect(int sockfd, [in, size=addrlen]void *addr, uint32_t addrlen); int ocall_connect(int sockfd, [in, size=addrlen]void *addr, uint32_t addrlen);
int ocall_getsockname(int sockfd, [in, size=addr_size]void *addr, int ocall_getsockname(int sockfd, [out, size=addr_size]void *addr,
[in, out, size=4]uint32_t *addrlen, uint32_t addr_size); [in, out, size=4]uint32_t *addrlen, uint32_t addr_size);
int ocall_getsockopt(int sockfd, int level, int optname, int ocall_getsockopt(int sockfd, int level, int optname,
[out, size=val_buf_size]void *val_buf, [out, size=val_buf_size]void *val_buf,