diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2020-11-22 00:42:28 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2020-11-22 00:42:28 +0100 |
| commit | 9bef61c2e7d7a2bcbc24a024bb3d6d1c278c5e77 (patch) | |
| tree | 36505770e095431441120df0e210fa535aa61cf9 | |
| parent | 34a03587d27c0a30fb0d6ff1c5ba68f97e332e5a (diff) | |
mach-defpager: Fix warning
* mach-defpager/default_pager.h (panic): Add noreturn function attribute.
| -rw-r--r-- | mach-defpager/default_pager.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mach-defpager/default_pager.h b/mach-defpager/default_pager.h index f4cdda64..3f872cc8 100644 --- a/mach-defpager/default_pager.h +++ b/mach-defpager/default_pager.h @@ -38,6 +38,6 @@ void paging_space_info(vm_size_t *totp, vm_size_t *freep); void no_paging_space(boolean_t out_of_memory); void overcommitted(boolean_t got_more_space, vm_size_t space); -void panic (const char *fmt, ...); +void panic (const char *fmt, ...) __attribute__ ((noreturn)); #endif /* _DEFAULT_PAGER_H_ */ |