vmap: Use {map,unmap}_segment() helpers
[akaros.git] / kern / arch / riscv / arch.h
index de468d6..9e6a18a 100644 (file)
@@ -1,5 +1,4 @@
-#ifndef ROS_INC_ARCH_H
-#define ROS_INC_ARCH_H
+#pragma once
 
 #include <ros/arch/arch.h>
 #include <arch/mmu.h>
 /* Arch Constants */
 #define ARCH_CL_SIZE 64
 
-#ifdef __riscv64
-# define KERN64
-#endif
-
 void print_cpuinfo(void);
-void show_mapping(uintptr_t start, size_t size);
+void show_mapping(pgdir_t pgdir, uintptr_t start, size_t size);
 void backtrace(void);
 
 static __inline void breakpoint(void)
@@ -30,7 +25,7 @@ static __inline void tlbflush(void)
 }
 
 static __inline void invlpg(void *addr)
-{ 
+{
        tlbflush();
 }
 
@@ -106,14 +101,15 @@ static __inline void disable_irqsave(int8_t* state)
 {
        if ((*state == 0) && irq_is_enabled())
                disable_irq();
-       else 
+       else
                (*state)--;
 }
 
 static __inline void cpu_relax(void)
 {
-       for(int i = 0; i < 100; i++)
-               asm ("nop");
+       // compute and use 0/0, which stalls Rocket for dozens of cycles
+       long scratch;
+       asm volatile ("div %0, zero, zero; move %0, %0" : "=r"(scratch));
 }
 
 static __inline void clflush(uintptr_t* addr)
@@ -145,6 +141,11 @@ static __inline int core_id(void)
        return get_os_coreid(hw_core_id());
 }
 
+static __inline int core_id_early(void)
+{
+       return core_id();
+}
+
 static __inline void cache_flush(void)
 {
 }
@@ -157,4 +158,17 @@ static __inline void reboot(void)
 
 extern void cpu_halt(void);
 
-#endif /* !ROS_INC_ARCH_H */
+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"
+}