Kernel stack get/put interface
[akaros.git] / kern / arch / x86 / mptables.c
index 9cd58ec..bdde2a3 100644 (file)
@@ -186,7 +186,7 @@ void mptables_parse() {
                mptables_info("Virtual Wire\n");
        }
        
-       configuration_parse((physaddr_t)KADDR((uint32_t)(mpfps->pap)));
+       configuration_parse((physaddr_t)KADDR((uintptr_t)(mpfps->pap)));
        
        proc_parse();
        bus_parse();