X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=misc%2Ftest_vm%2Finclude%2Fgeekos%2Fpaging.h;h=72e9c736c57ebde00ff1dc5af8bbff06b950dc1b;hb=b86b717be870723228190fcc9c8233a511d95073;hp=11b7531dafbb0c2284d8b9099fbaba8b9f350f01;hpb=3fff169c5a50ef1ecca266dd6f8c3462f8bd76a3;p=palacios.git

diff --git a/misc/test_vm/include/geekos/paging.h b/misc/test_vm/include/geekos/paging.h
index 11b7531..72e9c73 100644
--- a/misc/test_vm/include/geekos/paging.h
+++ b/misc/test_vm/include/geekos/paging.h
@@ -112,11 +112,11 @@ static __inline__ ulong_t Get_Page_Fault_Address(void)
     return faultAddress;
 }
 
-void SerialPrintPD(pde_t *pde);
-void SerialPrintPT(void *starting_address, pte_t *pte);
-void SerialPrintPDE(void *virtual_address, pde_t *pde);
-void SerialPrintPTE(void *virtual_address,pte_t *pte);
-void SerialDumpPageTables(pde_t *pde);
+void PrintPD(pde_t *pde);
+void PrintPT(void *starting_address, pte_t *pte);
+void PrintPDE(void *virtual_address, pde_t *pde);
+void PrintPTE(void *virtual_address,pte_t *pte);
+void DumpPageTables(pde_t *pde);
 
 pte_t *LookupPage(void *vaddr);