Changes in kernel/arch/mips32/include/asm.h [7a0359b:d99c1d2] in mainline

File:

• kernel/arch/mips32/include/asm.h (modified) (2 diffs)

kernel/arch/mips32/include/asm.h

@@ -27 +27 @@
  */
 
-/** @addtogroup mips32
+/** @addtogroup mips32  
  * @{
  */
@@ -38 +38 @@
 #include <typedefs.h>
 #include <config.h>
-#include <trace.h>
 
-NO_TRACE static inline void cpu_sleep(void)
+
+static inline void cpu_sleep(void)
 {
-        /*
-         * Unfortunatelly most of the simulators do not support
-         *
-         * asm volatile (
-         *     "wait"
-         * );
-         *
-         */
+        /* Most of the simulators do not support */
+/*      asm volatile ("wait"); */
 }
 
 /** Return base address of current stack
- *
+ * 
  * Return the base address of the current stack.
  * The stack is assumed to be STACK_SIZE bytes long.
  * The stack must start on page boundary.
- *
  */
-NO_TRACE static inline uintptr_t get_stack_base(void)
+static inline uintptr_t get_stack_base(void)
 {
-        uintptr_t base;
+        uintptr_t v;
         
         asm volatile (
-                "and %[base], $29, %[mask]\n"
-                : [base] "=r" (base)
-                : [mask] "r" (~(STACK_SIZE - 1))
+                "and %0, $29, %1\n"
+                : "=r" (v)
+                : "r" (~(STACK_SIZE-1))
         );
         
-        return base;
+        return v;
 }
 
-NO_TRACE static inline void pio_write_8(ioport8_t *port, uint8_t v)
+extern void cpu_halt(void) __attribute__((noreturn));
+extern void asm_delay_loop(uint32_t t);
+extern void userspace_asm(uintptr_t ustack, uintptr_t uspace_uarg,
+    uintptr_t entry);
+
+extern ipl_t interrupts_disable(void);
+extern ipl_t interrupts_enable(void);
+extern void interrupts_restore(ipl_t ipl);
+extern ipl_t interrupts_read(void);
+extern void asm_delay_loop(uint32_t t);
+
+static inline void pio_write_8(ioport8_t *port, uint8_t v)
 {
-        *port = v;
+        *port = v;      
 }
 
-NO_TRACE static inline void pio_write_16(ioport16_t *port, uint16_t v)
+static inline void pio_write_16(ioport16_t *port, uint16_t v)
 {
-        *port = v;
+        *port = v;      
 }
 
-NO_TRACE static inline void pio_write_32(ioport32_t *port, uint32_t v)
+static inline void pio_write_32(ioport32_t *port, uint32_t v)
 {
-        *port = v;
+        *port = v;      
 }
 
-NO_TRACE static inline uint8_t pio_read_8(ioport8_t *port)
+static inline uint8_t pio_read_8(ioport8_t *port)
 {
         return *port;
 }
 
-NO_TRACE static inline uint16_t pio_read_16(ioport16_t *port)
+static inline uint16_t pio_read_16(ioport16_t *port)
 {
         return *port;
 }
 
-NO_TRACE static inline uint32_t pio_read_32(ioport32_t *port)
+static inline uint32_t pio_read_32(ioport32_t *port)
 {
         return *port;
 }
-
-extern void cpu_halt(void) __attribute__((noreturn));
-extern void asm_delay_loop(uint32_t);
-extern void userspace_asm(uintptr_t, uintptr_t, uintptr_t);
-
-extern ipl_t interrupts_disable(void);
-extern ipl_t interrupts_enable(void);
-extern void interrupts_restore(ipl_t);
-extern ipl_t interrupts_read(void);
-extern bool interrupts_disabled(void);
 
 #endif