aboutsummaryrefslogtreecommitdiffstats
path: root/executor
diff options
context:
space:
mode:
authorDmitry Vyukov <dvyukov@google.com>2018-07-16 20:30:09 +0200
committerDmitry Vyukov <dvyukov@google.com>2018-07-16 20:30:09 +0200
commit1376136672ebb6f7f1dd583f2fbf95e178eb3f09 (patch)
tree4b95147857ae5be74f3bb2d9ceb7d40d093a97f0 /executor
parent40cb0c9aa6126f2fc180ce627d868742f645434c (diff)
sys/akaros: add a bunch of global files for akaros
Diffstat (limited to 'executor')
-rw-r--r--executor/syscalls_akaros.h148
1 files changed, 146 insertions, 2 deletions
diff --git a/executor/syscalls_akaros.h b/executor/syscalls_akaros.h
index 27f54e10e..c7e8a3e89 100644
--- a/executor/syscalls_akaros.h
+++ b/executor/syscalls_akaros.h
@@ -2,13 +2,13 @@
#if defined(__x86_64__) || 0
#define GOARCH "amd64"
-#define SYZ_REVISION "a10d041f1676f50456445d56c1fb505d7b8d5cef"
+#define SYZ_REVISION "36f0e5da1becfe451b2936a2b8b1739deb53c609"
#define SYZ_EXECUTOR_USES_FORK_SERVER true
#define SYZ_EXECUTOR_USES_SHMEM false
#define SYZ_PAGE_SIZE 4096
#define SYZ_NUM_PAGES 4096
#define SYZ_DATA_OFFSET 536870912
-#define SYZ_SYSCALL_COUNT 69
+#define SYZ_SYSCALL_COUNT 213
const call_t syscalls[] = {
{"abort_sysc", 31},
{"abort_sysc_fd", 33},
@@ -49,6 +49,150 @@ const call_t syscalls[] = {
{"notify", 25},
{"nunmount", 147},
{"openat", 102},
+ {"openat$dev_bintime", 102},
+ {"openat$dev_caphash", 102},
+ {"openat$dev_capuse", 102},
+ {"openat$dev_config", 102},
+ {"openat$dev_cons", 102},
+ {"openat$dev_consctl", 102},
+ {"openat$dev_cputime", 102},
+ {"openat$dev_drivers", 102},
+ {"openat$dev_empty", 102},
+ {"openat$dev_hostdomain", 102},
+ {"openat$dev_hostowner", 102},
+ {"openat$dev_killkid", 102},
+ {"openat$dev_klog", 102},
+ {"openat$dev_kmesg", 102},
+ {"openat$dev_kprint", 102},
+ {"openat$dev_null", 102},
+ {"openat$dev_osversion", 102},
+ {"openat$dev_pgrpid", 102},
+ {"openat$dev_pid", 102},
+ {"openat$dev_ppid", 102},
+ {"openat$dev_random", 102},
+ {"openat$dev_sdctl", 102},
+ {"openat$dev_stderr", 102},
+ {"openat$dev_stdin", 102},
+ {"openat$dev_stdout", 102},
+ {"openat$dev_swap", 102},
+ {"openat$dev_sysctl", 102},
+ {"openat$dev_sysname", 102},
+ {"openat$dev_sysstat", 102},
+ {"openat$dev_time", 102},
+ {"openat$dev_urandom", 102},
+ {"openat$dev_user", 102},
+ {"openat$dev_zero", 102},
+ {"openat$net_arp", 102},
+ {"openat$net_cs", 102},
+ {"openat$net_empty", 102},
+ {"openat$net_ether0_0_ctl", 102},
+ {"openat$net_ether0_0_data", 102},
+ {"openat$net_ether0_0_ifstats", 102},
+ {"openat$net_ether0_0_stats", 102},
+ {"openat$net_ether0_0_type", 102},
+ {"openat$net_ether0_1_ctl", 102},
+ {"openat$net_ether0_1_data", 102},
+ {"openat$net_ether0_1_ifstats", 102},
+ {"openat$net_ether0_1_stats", 102},
+ {"openat$net_ether0_1_type", 102},
+ {"openat$net_ether0_2_ctl", 102},
+ {"openat$net_ether0_2_data", 102},
+ {"openat$net_ether0_2_ifstats", 102},
+ {"openat$net_ether0_2_stats", 102},
+ {"openat$net_ether0_2_type", 102},
+ {"openat$net_ether0_addr", 102},
+ {"openat$net_ether0_clone", 102},
+ {"openat$net_ether0_ifstats", 102},
+ {"openat$net_ether0_stats", 102},
+ {"openat$net_icmp_clone", 102},
+ {"openat$net_icmp_stats", 102},
+ {"openat$net_icmpv6_clone", 102},
+ {"openat$net_icmpv6_stats", 102},
+ {"openat$net_ipifc_0_ctl", 102},
+ {"openat$net_ipifc_0_data", 102},
+ {"openat$net_ipifc_0_err", 102},
+ {"openat$net_ipifc_0_listen", 102},
+ {"openat$net_ipifc_0_local", 102},
+ {"openat$net_ipifc_0_remote", 102},
+ {"openat$net_ipifc_0_snoop", 102},
+ {"openat$net_ipifc_0_status", 102},
+ {"openat$net_ipifc_1_ctl", 102},
+ {"openat$net_ipifc_1_data", 102},
+ {"openat$net_ipifc_1_err", 102},
+ {"openat$net_ipifc_1_listen", 102},
+ {"openat$net_ipifc_1_local", 102},
+ {"openat$net_ipifc_1_remote", 102},
+ {"openat$net_ipifc_1_snoop", 102},
+ {"openat$net_ipifc_1_status", 102},
+ {"openat$net_ipifc_clone", 102},
+ {"openat$net_ipifc_stats", 102},
+ {"openat$net_iproute", 102},
+ {"openat$net_iprouter", 102},
+ {"openat$net_ipselftab", 102},
+ {"openat$net_log", 102},
+ {"openat$net_ndb", 102},
+ {"openat$net_tcp_0_ctl", 102},
+ {"openat$net_tcp_0_data", 102},
+ {"openat$net_tcp_0_err", 102},
+ {"openat$net_tcp_0_listen", 102},
+ {"openat$net_tcp_0_local", 102},
+ {"openat$net_tcp_0_remote", 102},
+ {"openat$net_tcp_0_status", 102},
+ {"openat$net_tcp_1_ctl", 102},
+ {"openat$net_tcp_1_data", 102},
+ {"openat$net_tcp_1_err", 102},
+ {"openat$net_tcp_1_listen", 102},
+ {"openat$net_tcp_1_local", 102},
+ {"openat$net_tcp_1_remote", 102},
+ {"openat$net_tcp_1_status", 102},
+ {"openat$net_tcp_2_ctl", 102},
+ {"openat$net_tcp_2_data", 102},
+ {"openat$net_tcp_2_err", 102},
+ {"openat$net_tcp_2_listen", 102},
+ {"openat$net_tcp_2_local", 102},
+ {"openat$net_tcp_2_remote", 102},
+ {"openat$net_tcp_2_status", 102},
+ {"openat$net_tcp_clone", 102},
+ {"openat$net_tcp_stats", 102},
+ {"openat$net_udp_0_ctl", 102},
+ {"openat$net_udp_0_data", 102},
+ {"openat$net_udp_0_err", 102},
+ {"openat$net_udp_0_listen", 102},
+ {"openat$net_udp_0_local", 102},
+ {"openat$net_udp_0_remote", 102},
+ {"openat$net_udp_0_status", 102},
+ {"openat$net_udp_clone", 102},
+ {"openat$net_udp_stats", 102},
+ {"openat$proc_self_args", 102},
+ {"openat$proc_self_core", 102},
+ {"openat$proc_self_ctl", 102},
+ {"openat$proc_self_fd", 102},
+ {"openat$proc_self_fpregs", 102},
+ {"openat$proc_self_maps", 102},
+ {"openat$proc_self_mem", 102},
+ {"openat$proc_self_note", 102},
+ {"openat$proc_self_noteid", 102},
+ {"openat$proc_self_notepg", 102},
+ {"openat$proc_self_ns", 102},
+ {"openat$proc_self_proc", 102},
+ {"openat$proc_self_profile", 102},
+ {"openat$proc_self_segment", 102},
+ {"openat$proc_self_status", 102},
+ {"openat$proc_self_strace", 102},
+ {"openat$proc_self_strace_traceset", 102},
+ {"openat$proc_self_syscall", 102},
+ {"openat$proc_self_text", 102},
+ {"openat$proc_self_user", 102},
+ {"openat$proc_self_vmstatus", 102},
+ {"openat$proc_self_wait", 102},
+ {"openat$prof_empty", 102},
+ {"openat$prof_kpctl", 102},
+ {"openat$prof_kpdata", 102},
+ {"openat$prof_kprintx", 102},
+ {"openat$prof_kptrace", 102},
+ {"openat$prof_kptrace_ctl", 102},
+ {"openat$prof_mpstat", 102},
+ {"openat$prof_mpstat_raw", 102},
{"poke_ksched", 30},
{"pop_ctx", 37},
{"populate_va", 32},