-/* $OpenBSD: machdep.c,v 1.161 2014/07/13 22:13:06 uebayasi Exp $ */
+/* $OpenBSD: machdep.c,v 1.162 2014/07/13 22:53:38 uebayasi Exp $ */
/* $NetBSD: machdep.c,v 1.210 2000/06/01 17:12:38 thorpej Exp $ */
/*-
cpus_running);
#endif
- if (howto & RB_DUMP)
+ if ((howto & RB_DUMP) != 0)
dumpsys();
haltsys:
}
printf("%s\n\n", howto & RB_HALT ? "halted." : "rebooting...");
prom_halt(howto & RB_HALT);
- /*NOTREACHED*/
+ for (;;) ;
+ /* NOTREACHED */
}
/*
-/* $OpenBSD: machdep.c,v 1.187 2014/07/13 22:13:06 uebayasi Exp $ */
+/* $OpenBSD: machdep.c,v 1.188 2014/07/13 22:53:38 uebayasi Exp $ */
/* $NetBSD: machdep.c,v 1.3 2003/05/07 22:58:18 fvdl Exp $ */
/*-
delay(cpureset_delay * 1000);
cpu_reset();
for(;;) ;
- /*NOTREACHED*/
+ /* NOTREACHED */
}
/*
-/* $OpenBSD: armish_machdep.c,v 1.29 2014/07/13 22:13:06 uebayasi Exp $ */
+/* $OpenBSD: armish_machdep.c,v 1.30 2014/07/13 22:53:38 uebayasi Exp $ */
/* $NetBSD: lubbock_machdep.c,v 1.2 2003/07/15 00:25:06 lukem Exp $ */
/*
board_reset();
cpu_reset();
printf("reboot failed; spinning\n");
- while(1);
- /*NOTREACHED*/
+ for (;;) ;
+ /* NOTREACHED */
}
/*
-/* $OpenBSD: armv7_machdep.c,v 1.12 2014/07/13 22:13:06 uebayasi Exp $ */
+/* $OpenBSD: armv7_machdep.c,v 1.13 2014/07/13 22:53:38 uebayasi Exp $ */
/* $NetBSD: lubbock_machdep.c,v 1.2 2003/07/15 00:25:06 lukem Exp $ */
/*
delay(500000);
platform_watchdog_reset();
printf("reboot failed; spinning\n");
- while(1);
- /*NOTREACHED*/
+ for (;;) ;
+ /* NOTREACHED */
}
static __inline
-/* $OpenBSD: machdep.c,v 1.69 2014/07/13 22:13:06 uebayasi Exp $ */
+/* $OpenBSD: machdep.c,v 1.70 2014/07/13 22:53:38 uebayasi Exp $ */
/*
* Copyright (c) 2007 Miodrag Vallat.
*
doboot();
- for (;;);
- /*NOTREACHED*/
+ for (;;) ;
+ /* NOTREACHED */
}
unsigned dumpmag = 0x8fca0101; /* magic number for savecore */
-/* $OpenBSD: machdep.c,v 1.230 2014/07/13 22:13:06 uebayasi Exp $ */
+/* $OpenBSD: machdep.c,v 1.231 2014/07/13 22:53:38 uebayasi Exp $ */
/*
* Copyright (c) 1999-2003 Michael Shalayeff
:: "r" (CMD_RESET), "r" (HPPA_LBCAST + iomod_command));
}
- for (;;) ; /* loop while bus reset is coming up */
+ for (;;) ;
/* NOTREACHED */
}
-/* $OpenBSD: machdep.c,v 1.68 2014/07/13 22:13:06 uebayasi Exp $ */
+/* $OpenBSD: machdep.c,v 1.69 2014/07/13 22:53:39 uebayasi Exp $ */
/*
* Copyright (c) 2005 Michael Shalayeff
:: "r" (CMD_RESET), "r" (HPPA_LBCAST + iomod_command));
}
- for (;;) ; /* loop while bus reset is coming up */
+ for (;;) ;
/* NOTREACHED */
}
-/* $OpenBSD: machdep.c,v 1.547 2014/07/13 22:13:06 uebayasi Exp $ */
+/* $OpenBSD: machdep.c,v 1.548 2014/07/13 22:53:39 uebayasi Exp $ */
/* $NetBSD: machdep.c,v 1.214 1996/11/10 03:16:17 thorpej Exp $ */
/*-
printf("rebooting...\n");
cpu_reset();
for(;;) ;
- /*NOTREACHED*/
+ /* NOTREACHED */
}
/*
-/* $OpenBSD: machdep.c,v 1.37 2014/07/13 22:13:06 uebayasi Exp $ */
+/* $OpenBSD: machdep.c,v 1.38 2014/07/13 22:53:39 uebayasi Exp $ */
/* $NetBSD: machdep.c,v 1.1 2006/09/01 21:26:18 uwe Exp $ */
/*-
printf("rebooting...\n");
machine_reset();
- /*NOTREACHED*/
+ /* NOTREACHED */
for (;;) {
continue;
}
-/* $OpenBSD: machdep.c,v 1.55 2014/07/13 22:13:06 uebayasi Exp $ */
+/* $OpenBSD: machdep.c,v 1.56 2014/07/13 22:53:39 uebayasi Exp $ */
/*
* Copyright (c) 2009, 2010, 2014 Miodrag Vallat.
}
for (;;) ;
- /*NOTREACHED*/
+ /* NOTREACHED */
}
u_long dumpmag = 0x8fca0101; /* Magic number for savecore. */
-/* $OpenBSD: machdep.c,v 1.106 2014/07/13 22:13:07 uebayasi Exp $ */
+/* $OpenBSD: machdep.c,v 1.107 2014/07/13 22:53:39 uebayasi Exp $ */
/*
* Copyright (c) 1998, 1999, 2000, 2001 Steve Murphree, Jr.
* Copyright (c) 1996 Nivas Madhur
*((volatile unsigned *)0x6d000010) = 0;
}
- for (;;); /* to keep compiler happy, and me from going crazy */
- /*NOTREACHED*/
+ for (;;) ;
+ /* NOTREACHED */
}
u_long dumpmag = 0x8fca0101; /* magic number for savecore */
-/* $OpenBSD: machdep.c,v 1.158 2014/07/13 22:13:07 uebayasi Exp $ */
+/* $OpenBSD: machdep.c,v 1.159 2014/07/13 22:53:39 uebayasi Exp $ */
/* $NetBSD: machdep.c,v 1.4 1996/10/16 19:33:11 ws Exp $ */
/*
}
boothowto = howto;
- if (!(howto & RB_NOSYNC) && !syncing) {
+ if ((howto & RB_NOSYNC) == 0 && !syncing) {
syncing = 1;
vfs_shutdown();
OF_interpret("reset-all", 0);
OF_exit();
printf("boot failed, spinning\n");
- while(1) /* forever */;
+ for (;;) ;
+ /* NOTREACHED */
}
typedef void (void_f) (void);
-/* $OpenBSD: machdep.c,v 1.58 2014/07/13 22:13:07 uebayasi Exp $ */
+/* $OpenBSD: machdep.c,v 1.59 2014/07/13 22:53:39 uebayasi Exp $ */
/*
* Copyright (c) 2009, 2010 Miodrag Vallat.
}
for (;;) ;
- /*NOTREACHED*/
+ /* NOTREACHED */
}
u_long dumpmag = 0x8fca0101; /* Magic number for savecore. */
-/* $OpenBSD: machdep.c,v 1.146 2014/07/13 22:13:07 uebayasi Exp $ */
+/* $OpenBSD: machdep.c,v 1.147 2014/07/13 22:53:39 uebayasi Exp $ */
/*
* Copyright (c) 2003-2004 Opsycon AB (www.opsycon.se / www.opsycon.com)
printf("Failed!!! Please reset manually.\n");
for (;;) ;
- /*NOTREACHED*/
+ /* NOTREACHED */
}
void
-/* $OpenBSD: machdep.c,v 1.53 2014/07/13 22:13:07 uebayasi Exp $ */
+/* $OpenBSD: machdep.c,v 1.54 2014/07/13 22:53:39 uebayasi Exp $ */
/* $NetBSD: machdep.c,v 1.4 1996/10/16 19:33:11 ws Exp $ */
/*
}
boothowto = howto;
- if (!(howto & RB_NOSYNC) && !syncing) {
+ if ((howto & RB_NOSYNC) == 0 && !syncing) {
syncing = 1;
vfs_shutdown();
splhigh();
cold = 1;
- if ((howto & RB_DUMP))
+ if ((howto & RB_DUMP) != 0)
dumpsys();
haltsys:
}
printf("boot failed, spinning\n");
- while(1) /* forever */;
+ for (;;) ;
+ /* NOTREACHED */
}
void
-/* $OpenBSD: machdep.c,v 1.40 2014/07/13 22:13:07 uebayasi Exp $ */
+/* $OpenBSD: machdep.c,v 1.41 2014/07/13 22:53:39 uebayasi Exp $ */
/* OpenBSD: machdep.c,v 1.105 2005/04/11 15:13:01 deraadt Exp */
/*
} else
str[0] = 0;
romboot(str);
- /*NOTREACHED*/
+ for (;;) ;
+ /* NOTREACHED */
}
/* XXX - needs to be written */
-/* $OpenBSD: machdep.c,v 1.162 2014/07/13 22:13:07 uebayasi Exp $ */
+/* $OpenBSD: machdep.c,v 1.163 2014/07/13 22:53:39 uebayasi Exp $ */
/* $NetBSD: machdep.c,v 1.85 1997/09/12 08:55:02 pk Exp $ */
/*
} else
str[0] = 0;
romboot(str);
- /*NOTREACHED*/
+ for (;;) ;
+ /* NOTREACHED */
}
/* XXX - dumpmag not eplicitly used, savecore may search for it to get here */
-/* $OpenBSD: machdep.c,v 1.165 2014/07/13 22:13:07 uebayasi Exp $ */
+/* $OpenBSD: machdep.c,v 1.166 2014/07/13 22:53:39 uebayasi Exp $ */
/* $NetBSD: machdep.c,v 1.108 2001/07/24 19:30:14 eeh Exp $ */
/*-
str[0] = 0;
OF_boot(str);
panic("cpu_reboot -- failed");
- /*NOTREACHED*/
+ for (;;) ;
+ /* NOTREACHED */
}
u_long dumpmag = 0x8fca0101; /* magic number for savecore */
-/* $OpenBSD: machdep.c,v 1.141 2014/07/13 22:13:07 uebayasi Exp $ */
+/* $OpenBSD: machdep.c,v 1.142 2014/07/13 22:53:39 uebayasi Exp $ */
/* $NetBSD: machdep.c,v 1.108 2000/09/13 15:00:23 thorpej Exp $ */
/*
if (howto & RB_DUMP)
dumpsys();
-
haltsys:
doshutdownhooks();
mainbus = device_mainbus();
-/* $OpenBSD: zaurus_machdep.c,v 1.49 2014/07/13 22:13:07 uebayasi Exp $ */
+/* $OpenBSD: zaurus_machdep.c,v 1.50 2014/07/13 22:53:39 uebayasi Exp $ */
/* $NetBSD: lubbock_machdep.c,v 1.2 2003/07/15 00:25:06 lukem Exp $ */
/*
zapm_restart();
#endif
printf("reboot failed; spinning\n");
- while(1);
- /*NOTREACHED*/
+ for (;;) ;
+ /* NOTREACHED */
}
static __inline