| Index: src/trusted/service_runtime/nacl_syscall_handlers_gen.py
|
| diff --git a/src/trusted/service_runtime/nacl_syscall_handlers_gen.py b/src/trusted/service_runtime/nacl_syscall_handlers_gen.py
|
| index b27fd84b0789a4498d6d9300efbb200ad0ec9c98..3bb7f27c04fa062a303de18280ffb6c1cf217782 100755
|
| --- a/src/trusted/service_runtime/nacl_syscall_handlers_gen.py
|
| +++ b/src/trusted/service_runtime/nacl_syscall_handlers_gen.py
|
| @@ -38,6 +38,7 @@ AUTOGEN_HEADER = """\
|
| #include "native_client/src/trusted/service_runtime/sys_list_mappings.h"
|
| #include "native_client/src/trusted/service_runtime/sys_memory.h"
|
| #include "native_client/src/trusted/service_runtime/sys_parallel_io.h"
|
| +#include "native_client/src/trusted/service_runtime/sys_random.h"
|
|
|
| """
|
|
|
| @@ -214,6 +215,8 @@ SYSCALL_LIST = [
|
| ['uint32_t addr', 'uint32_t value', 'uint32_t abstime_ptr']),
|
| ('NACL_sys_futex_wake', 'NaClSysFutexWake',
|
| ['uint32_t addr', 'uint32_t nwake']),
|
| + ('NACL_sys_get_random_bytes', 'NaClSysGetRandomBytes',
|
| + ['uint32_t buf_addr', 'uint32_t buf_size']),
|
| ]
|
|
|
|
|
|
|