Changes in kernel/arch/arm32/include/mach/testarm/testarm.h [ecf083dd:66fcba2] in mainline

File:

• kernel/arch/arm32/include/mach/testarm/testarm.h (modified) (2 diffs)

kernel/arch/arm32/include/mach/testarm/testarm.h

@@ -42 +42 @@
 #include <arch/machine_func.h>
 
-/** Size of GXemul IRQ number range (starting from 0) */
-#define GXEMUL_IRQ_COUNT        32
-#define GXEMUL_KBD_IRQ          2
-#define GXEMUL_TIMER_IRQ        4
+/** Last interrupt number (beginning from 0) whose status is probed
+ * from interrupt controller
+ */
+#define GXEMUL_IRQC_MAX_IRQ  8
+#define GXEMUL_KBD_IRQ       2
+#define GXEMUL_TIMER_IRQ     4
 
 /** Timer frequency */
@@ -71 +73 @@
 extern void gxemul_cpu_halt(void);
 extern void gxemul_irq_exception(unsigned int, istate_t *);
-extern void gxemul_get_memory_extents(uintptr_t *, uintptr_t *);
+extern uintptr_t gxemul_get_memory_size(void);
 extern void gxemul_frame_init(void);
-extern size_t gxemul_get_irq_count(void);
 
 extern struct arm_machine_ops gxemul_machine_ops;