diff options
| -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_ */ |