Closes T154: pmap, kernel: Add support for write-combining on ia32/64
[barrelfish] / kernel / include / arch / x86 / startup_x86.h
index 926da14..19de999 100644 (file)
@@ -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