Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed
  • kernel/arch/arm32/include/machine_func.h

    rd7ef14b r66fcba2  
    4747
    4848struct arm_machine_ops {
    49         void (*machine_init)(void);
    50         void (*machine_timer_irq_start)(void);
    51         void (*machine_cpu_halt)(void);
    52         void (*machine_get_memory_extents)(uintptr_t *, uintptr_t *);
    53         void (*machine_irq_exception)(unsigned int, istate_t *);
    54         void (*machine_frame_init)(void);
    55         void (*machine_output_init)(void);
    56         void (*machine_input_init)(void);
     49        void            (*machine_init)(void);
     50        void            (*machine_timer_irq_start)(void);
     51        void            (*machine_cpu_halt)(void);
     52        uintptr_t       (*machine_get_memory_size)(void);
     53        void            (*machine_irq_exception)(unsigned int, istate_t*);
     54        void            (*machine_frame_init)(void);
     55        void            (*machine_output_init)(void);
     56        void            (*machine_input_init)(void);
    5757};
    5858
     
    7474extern void machine_cpu_halt(void);
    7575
    76 /** Get extents of available memory.
     76
     77/** Returns size of available memory.
    7778 *
    78  * @param start         Place to store memory start address.
    79  * @param size          Place to store memory size.
     79 *  @return Size of available memory.
    8080 */
    81 extern void machine_get_memory_extents(uintptr_t *start, uintptr_t *size);
     81extern uintptr_t machine_get_memory_size(void);
     82
    8283
    8384/** Interrupt exception handler.
Note: See TracChangeset for help on using the changeset viewer.