Changes in kernel/arch/riscv64/src/mm/as.c [8b6aa39:ccc362a1] in mainline

File:

• kernel/arch/riscv64/src/mm/as.c (modified) (1 diff)

kernel/arch/riscv64/src/mm/as.c

@@ -40 +40 @@
 }
 
+/** Install address space.
+ *
+ * Install ASID.
+ *
+ * @param as Address space structure.
+ */
+void as_install_arch(as_t *as)
+{
+        // FIXME
+}
+
 /** @}
  */