// AUTOGENERATED FILE

struct call_t {
	const char* name;
	int sys_nr;
};

#if defined(__x86_64__) || 0
#define GOARCH "amd64"
#define SYZ_REVISION "d65b9adb4853817be6f471df44fc8347ebf6dfc6"

static call_t syscalls[] = {
    {"mx_time_get", 0},

};
#endif

#if defined(__aarch64__) || 0
#define GOARCH "arm64"
#define SYZ_REVISION "bd2655e6d85f1fecceb1648649e1ad5adda81dc8"

static call_t syscalls[] = {
    {"mx_time_get", 0},

};
#endif