Changeset 32e8cd1 in mainline for kernel/arch/sparc32/src/machine_func.c

Timestamp:

2013-12-28T17:16:44Z (10 years ago)

Author:

Martin Decky <martin@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

c1023bcb

Parents:

f6f22cdb

Message:

code revision
coding style fixes
removal of debugging printouts and other temporary stuff

File:

• kernel/arch/sparc32/src/machine_func.c (modified) (3 diffs)

kernel/arch/sparc32/src/machine_func.c

@@ -31 +31 @@
  */
 /** @file
- *  @brief Definitions of machine specific functions.
+ * @brief Definitions of machine specific functions.
  *
- *  These functions enable to differentiate more kinds of sparc emulators
- *  or CPUs. It's the same concept as "arch" functions on the architecture
- *  level.
+ * These functions enable to differentiate more kinds of SPARC emulators
+ * or CPUs. It's the same concept as "arch" functions on the architecture
+ * level.
  */
 
@@ -54 +54 @@
 }
 
-/** Maps HW devices to the kernel address space using #hw_map. */
+/** Map HW devices to the kernel address space using #hw_map. */
 void machine_init(bootinfo_t *bootinfo)
 {
-        (machine_ops->machine_init)(bootinfo);
+        machine_ops->machine_init(bootinfo);
 }
 
-
-/** Starts timer. */
+/** Start timer. */
 void machine_timer_irq_start(void)
 {
-        (machine_ops->machine_timer_irq_start)();
+        machine_ops->machine_timer_irq_start();
 }
 
-
-/** Halts CPU. */
+/** Halt CPU. */
 void machine_cpu_halt(void)
 {
-        (machine_ops->machine_cpu_halt)();
+        machine_ops->machine_cpu_halt();
 }
 
 /** Get extents of available memory.
  *
- * @param start         Place to store memory start address.
- * @param size          Place to store memory size.
+ * @param start Place to store memory start address.
+ * @param size  Place to store memory size.
+ *
  */
 void machine_get_memory_extents(uintptr_t *start, size_t *size)
 {
-        (machine_ops->machine_get_memory_extents)(start, size);
+        machine_ops->machine_get_memory_extents(start, size);
 }
 
 /** Interrupt exception handler.
  *
- * @param exc_no Interrupt exception number.
+ * @param exc    Interrupt exception number.
  * @param istate Saved processor state.
+ *
  */
-void machine_irq_exception(unsigned int exc_no, istate_t *istate)
+void machine_irq_exception(unsigned int exc, istate_t *istate)
 {
-        (machine_ops->machine_irq_exception)(exc_no, istate);
+        machine_ops->machine_irq_exception(exc, istate);
 }
 
-/*
- * configure the output device.
- */
+/** Configure the output device. */
 void machine_output_init(void)
 {
-        (machine_ops->machine_output_init)();
+        machine_ops->machine_output_init();
 }
 
-/*
- * configure the input device.
- */
+/** Configure the input device. */
 void machine_input_init(void)
 {
-        (machine_ops->machine_input_init)();
+        machine_ops->machine_input_init();
 }
 
@@ -113 +109 @@
 size_t machine_get_irq_count(void)
 {
-        return (machine_ops->machine_get_irq_count)();
+        return machine_ops->machine_get_irq_count();
 }
 
-const char * machine_get_platform_name(void)
+const char *machine_get_platform_name(void)
 {
         if (machine_ops->machine_get_platform_name)
                 return machine_ops->machine_get_platform_name();
+        
         return NULL;
 }
+
 /** @}
  */