mon_kpfret(): return from a kernel page fault
[akaros.git] / kern / include / pmap.h
index 842865d..e7c4710 100644 (file)
@@ -54,6 +54,7 @@
        (void*TRUSTED) (__m_pa + KERNBASE);                             \
 })
 
+#define KADDR_NOCHECK(pa) ((void*)(pa + KERNBASE))
 #define KBASEADDR(kla) KADDR(PADDR(kla))
 
 extern char (SNT RO bootstacktop)[], (SNT RO bootstack)[];
@@ -146,4 +147,9 @@ static inline ppn_t kva2ppn(void* addr)
        return page2ppn(kva2page(addr));
 }
 
+static inline bool is_kaddr(void *addr)
+{
+       return (uintptr_t)addr >= KERNBASE;
+}
+
 #endif /* !ROS_KERN_PMAP_H */