diff options
| author | Marin Ramesa <mpr@hi.t-com.hr> | 2013-12-16 23:55:18 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2013-12-17 19:05:05 +0100 |
| commit | 13a3d2472961902e809bb90fc5adc6b7696f7db5 (patch) | |
| tree | 4557759cdc799e9774442e82cee9bd39eafaf514 /vm | |
| parent | 5a5ec187ae6cb2afc874ad9ef118ef634e9164c8 (diff) | |
Mark functions that don't return with attribute noreturn
Diffstat (limited to 'vm')
| -rw-r--r-- | vm/vm_pageout.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/vm/vm_pageout.h b/vm/vm_pageout.h index 7e3e4e47..ea6cfaf4 100644 --- a/vm/vm_pageout.h +++ b/vm/vm_pageout.h @@ -44,10 +44,10 @@ extern vm_page_t vm_pageout_setup(vm_page_t, vm_offset_t, vm_object_t, vm_offset_t, boolean_t); extern void vm_pageout_page(vm_page_t, boolean_t, boolean_t); -extern void vm_pageout(void); +extern void vm_pageout(void) __attribute__((noreturn)); -extern void vm_pageout_continue(void); +extern void vm_pageout_continue(void) __attribute__((noreturn)); -extern void vm_pageout_scan_continue(void); +extern void vm_pageout_scan_continue(void) __attribute__((noreturn)); #endif /* _VM_VM_PAGEOUT_H_ */ |