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