X-Git-Url: http://git.barrelfish.org/?p=barrelfish;a=blobdiff_plain;f=kernel%2Finclude%2Farch%2Fx86%2Fstartup_x86.h;h=19de999198ac0dddbf613374656a1f11f05c21f4;hp=926da141f8f1248b26fe49c0764631a66de12072;hb=0036d2fa62f001554d7bf5f36195ba2a3854b59d;hpb=c1cb52456a49b5a61cf726ca25438f7162b92196

diff --git a/kernel/include/arch/x86/startup_x86.h b/kernel/include/arch/x86/startup_x86.h
index 926da14..19de999 100644
--- 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