summaryrefslogtreecommitdiff
path: root/vm
diff options
context:
space:
mode:
authorMarin Ramesa <mpr@hi.t-com.hr>2013-12-16 23:55:18 +0100
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2013-12-17 19:05:05 +0100
commit13a3d2472961902e809bb90fc5adc6b7696f7db5 (patch)
tree4557759cdc799e9774442e82cee9bd39eafaf514 /vm
parent5a5ec187ae6cb2afc874ad9ef118ef634e9164c8 (diff)
Mark functions that don't return with attribute noreturn
Diffstat (limited to 'vm')
-rw-r--r--vm/vm_pageout.h6
1 files changed, 3 insertions, 3 deletions
diff --git a/vm/vm_pageout.h b/vm/vm_pageout.h
index 7e3e4e4..ea6cfaf 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_ */