WebSVN – HelenOS – Diff – /branches/arm/kernel/arch/arm32/src/drivers/gxemul.c

 #include <mm/page.h>
 #include <arch/machine.h>
 #include <arch/debug/print.h>
-/** Address of devices. */
+/** Addresses of devices. */
 #define GXEMUL_VIDEORAM            0x10000000
 #define GXEMUL_KBD                 0x10000000
 #define GXEMUL_HALT_OFFSET         0x10
 #define GXEMUL_RTC                 0x15000000
 #define GXEMUL_RTC_FREQ_OFFSET     0x100
     .suspend = gxemul_disable,
     .write = gxemul_write,
     .read = gxemul_do_read,
 };
-/** Return the mask of active interrupts. */
+/** Returns the mask of active interrupts. */
 static inline uint32_t gxemul_irqc_get_sources(void)
+{
     return *(uint32_t*) gxemul_hw_map.irqc;
+}
 static irq_ownership_t gxemul_timer_claim(void)
+{
     return IRQ_ACCEPT;
+}
+/** Timer interrupt handler.
+ *
+ * @param irq interrupt information
+ */
 static void gxemul_timer_irq_handler(irq_t *irq, void *arg, ...)
+{
     /* TODO time drifts ??
     unsigned long drift;
     if (virtual_timer_fnc != NULL)
         virtual_timer_fnc();
     */
+}
-/**
- * Initializes and registers timer interrupt handler.
+/** Initializes and registers timer interrupt handler.
  */
 static void gxemul_timer_irq_init()
+{
     irq_initialize(&gxemul_timer_irq);
     gxemul_timer_irq.devno = device_assign_devno();
     gxemul_timer_irq.handler = gxemul_timer_irq_handler;
     irq_register(&gxemul_timer_irq);
+}
+/** Starts timer.
+ *
+ * Initiates regular timer interrupts after initializing
+ * corresponding interrupt handler.
+ */
 void machine_timer_irq_start()
+{
     gxemul_timer_irq_init();
     gxemul_timer_start(GXEMUL_TIMER_FREQ);
+}
+/** Returns the size of emulated memory.
+ *
+ * @return size in bytes
+ */
 size_t machine_get_memory_size(void)
+{
     return  *((int*)(GXEMUL_MP + GXEMUL_MP_MEMSIZE_OFFSET));
+}
+    }
     *(addr) = ch;
+}
+/** Stops gxemul. */
 void machine_cpu_halt(void)
+{
     char * addr = 0;
     if (!hw_map_init_called) {
         addr = (char *) GXEMUL_KBD;
+    }
     *(addr + GXEMUL_HALT_OFFSET) = '\0';
+}
+/** Gxemul specific interrupt exception handler.
+ *
+ * Determines sources of the interrupt from interrupt controller and
+ * calls high-level handlers for them.
+ *
+ * @param exc_no interrupt exception number
+ * @param istate saved processor state
+ */
 void machine_irq_exception(int exc_no, istate_t *istate)
+{
-    /* switch to Undefined mode */
-    /*
-    asm volatile(
-        "stmfd sp!, {r0-r3}\n"
-        "mov r1, sp\n"
-        "mov r2, lr\n"
-        "mrs r3, spsr\n"
-        "mrs r0, cpsr\n"
-        "bic r0, r0, #0x1f\n"
-        "orr r0, r0, #0x1b\n"
-        "msr cpsr_c, r0\n"
-        "mov sp, r1\n"
-        "mov lr, r2\n"
-        "msr spsr, r3\n"
-        "ldmfd sp!, {r0-r3}\n"
-    );
-    */
     uint32_t sources = gxemul_irqc_get_sources();
     int i = 0;
     for (; i < GXEMUL_IRQC_MAX_IRQ; i++) {
         if (sources & (1 << i)) {
             irq_t *irq = irq_dispatch_and_lock(i);
                 /* Spurious interrupt.*/
                 dprintf("cpu%d: spurious interrupt (inum=%d)\n", CPU->id, i);
+            }
+        }
+    }
-    /* TODO remove after testing the above code
-            noirq = 0;
-            if (i == CONSOLE_IRQ) {
-                char readchar = *(char*)0x10000000;
-                if (readchar == 0) {
-                    aux_puts("?");
-                }
-                else {
-                    dprintf("%c", readchar);
-                }
-            }
-            else if (i == TIMER_IRQ) {
-                dprintf("\n.\n");
-                //acknowledge
-                *(uint32_t*)0x15000110 = 0;
-            }
-        }
-    }
-    if (noirq)
-    aux_puts("IRQ exception without source\n");*/
+}
 /** @}
  */

Subversion Repositories HelenOS

(root)/branches/arm/kernel/arch/arm32/src/drivers/gxemul.c – Rev 2340 → 2355