Changeset 89c57b6 in mainline for kernel/arch/arm32/include/machine_func.h

Timestamp:

2011-04-13T14:45:41Z (14 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

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

Children:

88634420

Parents:

cefb126 (diff), 17279ead (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge mainline changes.

File:

• kernel/arch/arm32/include/machine_func.h (modified) (3 diffs)

kernel/arch/arm32/include/machine_func.h

@@ -47 +47 @@
 
 struct arm_machine_ops {
-        void            (*machine_init)(void);
-        void            (*machine_timer_irq_start)(void);
-        void            (*machine_cpu_halt)(void);
-        uintptr_t       (*machine_get_memory_size)(void);
-        void            (*machine_irq_exception)(unsigned int, istate_t*);
-        void            (*machine_frame_init)(void);
-        void            (*machine_output_init)(void);
-        void            (*machine_input_init)(void);
+        void (*machine_init)(void);
+        void (*machine_timer_irq_start)(void);
+        void (*machine_cpu_halt)(void);
+        void (*machine_get_memory_extents)(uintptr_t *, uintptr_t *);
+        void (*machine_irq_exception)(unsigned int, istate_t *);
+        void (*machine_frame_init)(void);
+        void (*machine_output_init)(void);
+        void (*machine_input_init)(void);
+        size_t (*machine_get_irq_count)(void);
+        const char *(*machine_get_platform_name)(void);
 };
 
@@ -74 +76 @@
 extern void machine_cpu_halt(void);
 
-
-/** Returns size of available memory.
+/** Get extents of available memory.
  *
- *  @return Size of available memory.
+ * @param start         Place to store memory start address.
+ * @param size          Place to store memory size.
  */
-extern uintptr_t machine_get_memory_size(void);
-
+extern void machine_get_memory_extents(uintptr_t *start, uintptr_t *size);
 
 /** Interrupt exception handler.
@@ -105 +106 @@
 extern void machine_input_init(void);
 
+extern size_t machine_get_irq_count(void);
+
 #endif