From 13a3d2472961902e809bb90fc5adc6b7696f7db5 Mon Sep 17 00:00:00 2001 From: Marin Ramesa Date: Mon, 16 Dec 2013 23:55:18 +0100 Subject: Mark functions that don't return with attribute noreturn --- vm/vm_pageout.h | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'vm') 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_ */ -- cgit v1.2.3