X-Git-Url: http://git.joshuawise.com/netwatch.git/blobdiff_plain/113df320fe8e5e3f069c974546162d9329da8e31..247ffdeea41720d829b9e0acc7887c5869924f56:/aseg-paging/pagingstub.c?ds=sidebyside

diff --git a/aseg-paging/pagingstub.c b/aseg-paging/pagingstub.c
index 0a79385..d839966 100644
--- a/aseg-paging/pagingstub.c
+++ b/aseg-paging/pagingstub.c
@@ -8,8 +8,8 @@
 #include "../net/net.h"
 #include "vga-overlay.h"
 
+extern void smi_init();
 #include "vm_flags.h"
-#include "pagetable.h"
 
 void set_cr0(unsigned int);
 void ps_switch_stack (void (*call)(), int stack);
@@ -115,7 +115,6 @@ void c_entry(void)
 	
 	outb(0x80, 0x43);
 	if (!entry_initialized) {
-		extern void __firstrun_start();
 		
 		/* If needed, copy in data. */
 		for (bp = (void *)0x200000; (void *)bp < (void *)&_bss; bp++)
@@ -124,7 +123,7 @@ void c_entry(void)
 			*bp = 0;
 		serial_init();
 		dolog("Paging enabled.");
-		__firstrun_start();	/* Now initialize BSS, etc. */
+		smi_init();
 		
 		entry_initialized = 1;
 	}