Changeset 32e8cd1 in mainline for kernel/arch/sparc32/include/arch/machine_func.h
- Timestamp:
- 2013-12-28T17:16:44Z (10 years ago)
- Branches:
- lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
- Children:
- c1023bcb
- Parents:
- f6f22cdb
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
kernel/arch/sparc32/include/arch/machine_func.h
rf6f22cdb r32e8cd1 32 32 */ 33 33 /** @file 34 * 34 * @brief Declarations of machine specific functions. 35 35 * 36 * These functions enable to differentiate more kinds of ARMemulators37 * or CPUs. It's the same concept as "arch" functions on the architecture38 * 36 * These functions enable to differentiate more kinds of SPARC emulators 37 * or CPUs. It is the same concept as "arch" functions on the architecture 38 * level. 39 39 */ 40 40 … … 66 66 extern void machine_ops_init(void); 67 67 68 /** Map sHW devices to the kernel address space using #hw_map. */68 /** Map HW devices to the kernel address space using #hw_map. */ 69 69 extern void machine_init(bootinfo_t *); 70 70 71 72 /** Starts timer. */ 71 /** Start timer. */ 73 72 extern void machine_timer_irq_start(void); 74 73 75 76 /** Halts CPU. */ 74 /** Halt CPU. */ 77 75 extern void machine_cpu_halt(void); 78 76 79 77 /** Get extents of available memory. 80 78 * 81 * @param start 82 * @param size 79 * @param start Place to store memory start address. 80 * @param size Place to store memory size. 83 81 */ 84 82 extern void machine_get_memory_extents(uintptr_t *start, size_t *size); … … 91 89 extern void machine_irq_exception(unsigned int exc_no, istate_t *istate); 92 90 93 94 /* 95 * Machine specific frame initialization 96 */ 91 /** Machine specific frame initialization */ 97 92 extern void machine_frame_init(void); 98 93 99 /* 100 * configure the serial line output device. 101 */ 94 /* Configure the serial line output device. */ 102 95 extern void machine_output_init(void); 103 96 104 /* 105 * configure the serial line input device. 106 */ 97 /** Configure the serial line input device. */ 107 98 extern void machine_input_init(void); 108 99 109 100 extern size_t machine_get_irq_count(void); 110 101 111 extern const char * 102 extern const char *machine_get_platform_name(void); 112 103 113 104 #endif
Note:
See TracChangeset
for help on using the changeset viewer.