1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 3 #include <arch/hlt.h> 4 #include <halt.h> 5 abort(void)6 void __noreturn abort(void) 7 { 8 while (1) 9 hlt(); 10 } 11