vmap: Use {map,unmap}_segment() helpers
[akaros.git] / kern / arch / riscv / arch.h
index db28f28..9e6a18a 100644 (file)
@@ -25,7 +25,7 @@ static __inline void tlbflush(void)
 }
 
 static __inline void invlpg(void *addr)
-{ 
+{
        tlbflush();
 }
 
@@ -101,7 +101,7 @@ static __inline void disable_irqsave(int8_t* state)
 {
        if ((*state == 0) && irq_is_enabled())
                disable_irq();
-       else 
+       else
                (*state)--;
 }
 
@@ -165,3 +165,10 @@ static inline void prefetch(void *addr)
 static inline void prefetchw(void *addr)
 {
 }
+
+/* Resets a stack pointer to sp, then calls f(arg) */
+static inline void __attribute__((noreturn))
+__reset_stack_pointer(void *arg, uintptr_t sp, void (*f)(void *))
+{
+       #error "implement me"
+}