Context Navigation

r9c514be	r76d0981d
44	44	#include <mm/km.h>
45	45	#include <ddi/ddi.h>
	46	#include <stdbool.h>
46	47
47	48	static void bbxm_init(void);
…	…
130	131	static void bbxm_cpu_halt(void)
131	132	{
132		while (1)
	133	while (true)
133	134	;
134	135	}

kernel/arch/arm32/src/mach/beaglebone/beaglebone.c

r9c514be	r76d0981d
47	47	#include <ddi/ddi.h>
48	48	#include <mm/km.h>
	49	#include <stdbool.h>
49	50
50	51	#define BBONE_MEMORY_START 0x80000000 /* physical */
…	…
159	160	static void bbone_cpu_halt(void)
160	161	{
161		while (1)
	162	while (true)
162	163	;
163	164	}

-              r9c514be
+              r76d0981d
 #include <genarch/srln/srln.h>
 #include <console/console.h>
+#include <stdbool.h>
 #include <sysinfo/sysinfo.h>
 #include <mm/page.h>
 …
 void icp_cpu_halt(void)
+{
         while (1);
+        while (true);
+}

-              r9c514be
+              r76d0981d
 #include <abi/fb/visuals.h>
 #include <genarch/srln/srln.h>
+#include <stdbool.h>
 #include <sysinfo/sysinfo.h>
 #include <interrupt.h>
 …
 static void raspberrypi_cpu_halt(void)
+{
         while (1) ;
+        while (true) ;
+}

-              r9c514be
+              r76d0981d
  */
+#include <stdbool.h>
 #include <userspace.h>
 #include <arch/ras.h>
 …
         /* unreachable */
         while (1)
+        while (true)
+                ;
+}

Note: See TracChangeset for help on using the changeset viewer.