Changes in kernel/arch/riscv64/include/arch/mm/asid.h [8b6aa39:ccc362a1] in mainline

File:

• kernel/arch/riscv64/include/arch/mm/asid.h (modified) (2 diffs)

kernel/arch/riscv64/include/arch/mm/asid.h

@@ -36 +36 @@
 #define KERN_riscv64_ASID_H_
 
-#include <typedefs.h>
+#include <stdint.h>
 
 #define ASID_MAX_ARCH  4096
@@ -42 +42 @@
 typedef uint32_t asid_t;
 
+#define asid_get()  (ASID_START + 1)
+#define asid_put(asid)
+
 #endif