Formatting/renaming some RISC-V stuff
authorAndrew Waterman <waterman@cs.berkeley.edu>
Tue, 23 Apr 2013 11:37:34 +0000 (04:37 -0700)
committerAndrew Waterman <waterman@cs.berkeley.edu>
Tue, 23 Apr 2013 11:37:34 +0000 (04:37 -0700)
kern/arch/riscv/arch.h
kern/arch/riscv/env.c
kern/arch/riscv/process.c
kern/arch/riscv/trap.c

index dce737d..de468d6 100644 (file)
@@ -19,32 +19,27 @@ void print_cpuinfo(void);
 void show_mapping(uintptr_t start, size_t size);
 void backtrace(void);
 
-static __inline void
-breakpoint(void)
+static __inline void breakpoint(void)
 {
        asm volatile ("break");
 }
 
-static __inline void
-tlbflush(void)
+static __inline void tlbflush(void)
 {
        lcr3(rcr3());
 }
 
-static __inline void 
-invlpg(void *addr)
+static __inline void invlpg(void *addr)
 { 
        tlbflush();
 }
 
-static __inline void
-icache_flush_page(void* va, void* kva)
+static __inline void icache_flush_page(void* va, void* kva)
 {
        asm volatile ("fence.i");
 }
 
-static __inline uint64_t
-read_tsc(void)
+static __inline uint64_t read_tsc(void)
 {
        unsigned long t;
        asm volatile ("rdtime %0" : "=r"(t));
@@ -52,51 +47,43 @@ read_tsc(void)
 }
 
 /* Continuing the poor tradition of x86 opcode functions... */
-static __inline uint64_t
-read_tscp(void)
+static __inline uint64_t read_tscp(void)
 {
        return read_tsc();
 }
 
-static __inline uint64_t 
-read_tsc_serialized(void)
+static __inline uint64_t read_tsc_serialized(void)
 {
        mb();
        return read_tsc();
 }
 
-static __inline uintptr_t
-enable_fp(void)
+static __inline uintptr_t enable_fp(void)
 {
        return setpcr(PCR_SR, SR_EF);
 }
 
-static __inline uintptr_t
-enable_irq(void)
+static __inline uintptr_t enable_irq(void)
 {
        return setpcr(PCR_SR, SR_ET);
 }
 
-static __inline uintptr_t
-disable_irq(void)
+static __inline uintptr_t disable_irq(void)
 {
        return clearpcr(PCR_SR, SR_ET);
 }
 
-static __inline void
-restore_irq(uintptr_t val)
+static __inline void restore_irq(uintptr_t val)
 {
        mtpcr(PCR_SR, val);
 }
 
-static __inline int
-irq_is_enabled(void)
+static __inline int irq_is_enabled(void)
 {
        return mfpcr(PCR_SR) & SR_ET;
 }
 
-static __inline void
-enable_irqsave(int8_t* state)
+static __inline void enable_irqsave(int8_t* state)
 {
        // *state tracks the number of nested enables and disables
        // initial value of state: 0 = first run / no favorite
@@ -115,8 +102,7 @@ enable_irqsave(int8_t* state)
                (*state)++;
 }
 
-static __inline void
-disable_irqsave(int8_t* state)
+static __inline void disable_irqsave(int8_t* state)
 {
        if ((*state == 0) && irq_is_enabled())
                disable_irq();
@@ -124,34 +110,29 @@ disable_irqsave(int8_t* state)
                (*state)--;
 }
 
-static __inline void
-cpu_relax(void)
+static __inline void cpu_relax(void)
 {
-  for(int i = 0; i < 100; i++)
-         asm ("nop");
+       for(int i = 0; i < 100; i++)
+               asm ("nop");
 }
 
-static __inline void
-clflush(uintptr_t* addr)
+static __inline void clflush(uintptr_t* addr)
 {
 }
 
 /* os_coreid -> hw_coreid */
-static __inline int
-get_hw_coreid(int coreid)
+static __inline int get_hw_coreid(int coreid)
 {
-  return coreid;
+       return coreid;
 }
 
-static __inline int
-hw_core_id(void)
+static __inline int hw_core_id(void)
 {
-  return mfpcr(PCR_COREID);
+       return mfpcr(PCR_COREID);
 }
 
 /* hw_coreid -> os_coreid */
-static __inline int
-get_os_coreid(int hw_coreid)
+static __inline int get_os_coreid(int hw_coreid)
 {
        return hw_coreid;
 }
@@ -159,19 +140,16 @@ get_os_coreid(int hw_coreid)
 /* core_id() returns the OS core number, not to be confused with the
  * hardware-specific core identifier (such as the lapic id) returned by
  * hw_core_id() */
-static __inline int
-core_id(void)
+static __inline int core_id(void)
 {
        return get_os_coreid(hw_core_id());
 }
 
-static __inline void
-cache_flush(void)
+static __inline void cache_flush(void)
 {
 }
 
-static __inline void
-reboot(void)
+static __inline void reboot(void)
 {
        extern void cputchar(int ch);
        cputchar(0);
index da3032b..4933168 100644 (file)
@@ -4,8 +4,7 @@
 #include <arch/arch.h>
 #include <pmap.h>
 
-void
-save_fp_state(ancillary_state_t* silly)
+void save_fp_state(ancillary_state_t* silly)
 {
        uintptr_t sr = enable_fp();
        uint32_t fsr = read_fsr();
@@ -47,8 +46,7 @@ save_fp_state(ancillary_state_t* silly)
        mtpcr(PCR_SR, sr);
 }
 
-void
-restore_fp_state(ancillary_state_t* silly)
+void restore_fp_state(ancillary_state_t* silly)
 {
        uintptr_t sr = enable_fp();
        uint32_t fsr = silly->fsr;
index 48a2be5..f528a6f 100644 (file)
@@ -13,9 +13,9 @@ void proc_pop_ctx(struct user_context *ctx)
 {
        struct hw_trapframe *tf = &ctx->tf.hw_tf;
        assert(ctx->type == ROS_HW_CTX);
-       extern void env_pop_tf(struct hw_trapframe *tf)
+       extern void pop_hw_tf(struct hw_trapframe *tf)
          __attribute__((noreturn));    /* in asm */
-       env_pop_tf(tf);
+       pop_hw_tf(tf);
 }
 
 /* TODO: consider using a SW context */
index 3584958..779f8da 100644 (file)
@@ -339,12 +339,12 @@ handle_trap(struct hw_trapframe *hw_tf)
                }
        }
        
-       extern void env_pop_tf(struct hw_trapframe *tf);        /* in asm */
+       extern void pop_hw_tf(struct hw_trapframe *tf); /* in asm */
        /* Return to the current process, which should be runnable.  If we're the
         * kernel, we should just return naturally.  Note that current and tf need
         * to still be okay (might not be after blocking) */
        if (in_kernel(hw_tf))
-               env_pop_tf(hw_tf);      /* TODO: for a kernel tf?  change names? */
+               pop_hw_tf(hw_tf);
        else
                proc_restartcore();
 }