Changes in kernel/arch/arm32/src/arm32.c [3063d56:82474ef] in mainline
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
kernel/arch/arm32/src/arm32.c
r3063d56 r82474ef 155 155 void cpu_halt(void) 156 156 { 157 machine_cpu_halt(); 157 while (true) 158 machine_cpu_halt(); 158 159 } 159 160 … … 162 163 { 163 164 /* not implemented */ 164 while ( 1);165 while (true); 165 166 } 166 167 … … 179 180 } 180 181 182 void irq_initialize_arch(irq_t *irq) 183 { 184 (void) irq; 185 } 186 181 187 /** @} 182 188 */
Note:
See TracChangeset
for help on using the changeset viewer.