VMM: Clean up per-cpu VMCS state
[akaros.git] / kern / arch / riscv / arch.h
index a0e767a..db28f28 100644 (file)
@@ -1,5 +1,4 @@
-#ifndef ROS_INC_ARCH_H
-#define ROS_INC_ARCH_H
+#pragma once
 
 #include <ros/arch/arch.h>
 #include <arch/mmu.h>
@@ -12,7 +11,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)
@@ -166,5 +165,3 @@ static inline void prefetch(void *addr)
 static inline void prefetchw(void *addr)
 {
 }
-
-#endif /* !ROS_INC_ARCH_H */