VMM: Clean up per-cpu VMCS state
[akaros.git] / kern / arch / riscv / mmu.h
1 #pragma once
2
3 #include <ros/arch/mmu.h>
4
5 #ifndef __ASSEMBLER__
6
7 static inline pte_t build_pte(uintptr_t pa, int flags)
8 {
9         return LA2PPN(pa) << PTE_PPN_SHIFT | PGOFF(flags);
10 }
11
12 #endif /* __ASSEMBLER__ */