akaros/kern/arch/x86/mmu.h
<<
>>
Prefs
   1#pragma once
   2
   3#include <ros/arch/mmu.h>
   4
   5#ifndef __ASSEMBLER__
   6
   7static inline kpte_t build_kpte(uintptr_t pa, int flags)
   8{
   9        return LA2PPN(pa) << PGSHIFT | PGOFF(flags);
  10}
  11
  12#endif /* __ASSEMBLER__ */
  13