Helper to backtrace a user context
[akaros.git] / kern / arch / riscv / arch.h
index a0e767a..77dbf9e 100644 (file)
@@ -12,7 +12,7 @@
 #define ARCH_CL_SIZE 64
 
 void print_cpuinfo(void);
-void show_mapping(pde_t *pgdir, uintptr_t start, size_t size);
+void show_mapping(pgdir_t pgdir, uintptr_t start, size_t size);
 void backtrace(void);
 
 static __inline void breakpoint(void)