mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-31 08:25:38 +00:00
parent
1baf844e20
commit
66feb939e6
@ -2234,7 +2234,9 @@ class Main
|
||||
log("List snapshots (command ID ", cmd.id(), ")");
|
||||
for (unsigned idx { 0 }; idx < sizeof(ids.values) / sizeof(ids.values[0]); idx++) {
|
||||
if (ids.values[idx] != 0) {
|
||||
log(" Snapshot #", snap_nr, " is generation ", ids.values[idx]);
|
||||
log(" Snapshot #", snap_nr, " is generation ",
|
||||
(uint64_t)ids.values[idx]);
|
||||
|
||||
snap_nr++;
|
||||
}
|
||||
}
|
||||
|
@ -445,4 +445,4 @@ extern "C" int execve(char const *filename,
|
||||
call_func(_user_stack_ptr, (void *)user_entry, nullptr);
|
||||
}
|
||||
|
||||
extern "C" int _execve(char const *, char *const[], char *const[]) __attribute__((weak, alias("execve")));
|
||||
extern "C" int _execve(char const *, char *const[], char *const[]) __attribute__((weak, alias("execve"), nothrow));
|
||||
|
@ -709,7 +709,7 @@ extern "C" {
|
||||
}
|
||||
|
||||
typeof(pthread_exit) _pthread_exit
|
||||
__attribute__((alias("pthread_exit")));
|
||||
__attribute__((alias("pthread_exit"), noreturn));
|
||||
|
||||
|
||||
/* special non-POSIX function (for example used in libresolv) */
|
||||
|
Loading…
x
Reference in New Issue
Block a user