x86: use setters/getters for MSR_{FS,GS}_BASE
[akaros.git] / kern / arch / x86 / kpt.h
index c42e393..1af3d6e 100644 (file)
@@ -4,8 +4,7 @@
  *
  * 64 bit KPT helpers */
 
-#ifndef ROS_ARCH_KPT_H
-#define ROS_ARCH_KPT_H
+#pragma once
 
 #include <arch/ros/mmu64.h>
 
@@ -59,7 +58,7 @@ static inline void kpte_write(kpte_t *kpte, physaddr_t pa, int settings)
 {
        assert(!PGOFF(pa));
        /* The arch-bits like PTE_D, PTE_PS, etc are all in the native KPT format */
-       *kpte = pa | settings;
+       *kpte = build_kpte(pa, settings);
 }
 
 static inline void kpte_clear_present(kpte_t *kpte)
@@ -91,5 +90,3 @@ static inline void kpte_replace_perm(kpte_t *kpte, int perm)
 {
        *kpte = (*kpte & ~PTE_PERM) | perm;
 }
-
-#endif /* ROS_ARCH_KPT_H */