diff options
Diffstat (limited to 'arch/sandbox')
| -rw-r--r-- | arch/sandbox/os/common.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/arch/sandbox/os/common.c b/arch/sandbox/os/common.c index 89b2e5c916..287be0d13b 100644 --- a/arch/sandbox/os/common.c +++ b/arch/sandbox/os/common.c @@ -138,7 +138,7 @@ uint64_t linux_get_time(void) return now; } -void __attribute__((noreturn)) reset_cpu(int unused) +void __attribute__((noreturn)) reset_cpu(unsigned long addr) { cookmode(); exit(0); |