1 /* 2 * Copyright (C) 2023 Bastian Koppelmann <kbastian@mail.uni-paderborn.de> 3 * 4 * This code is licensed under the GPL version 2 or later. See the 5 * COPYING file in the top-level directory. 6 */ 7 8 int *testdev = (int *)0xf0000000; 9 10 #define FAIL 1 11 static inline void testdev_assert(int condition) 12 { 13 if (!condition) { 14 *testdev = FAIL; 15 asm("debug"); 16 } 17 } 18 19