Closes T154: pmap, kernel: Add support for write-combining on ia32/64

[barrelfish] / kernel / include / arch / x86 / startup_x86.h

diff --git a/kernel/include/arch/x86/startup_x86.h b/kernel/include/arch/x86/startup_x86.h
index 926da14..19de999 100644 (file)
--- a/kernel/include/arch/x86/startup_x86.h
+++ b/kernel/include/arch/x86/startup_x86.h
@@ -69,4 +69,6 @@ static inline void start_ap_signal(void)
     *ap_wait = AP_STARTED;
 }
 
+void configure_page_attribute_table(void);
+
 #endif // __STARTUP_X86_H