/* * Copyright (C) 2023 Bastian Koppelmann <kbastian@mail.uni-paderborn.de> * * This code is licensed under the GPL version 2 or later. See the * COPYING file in the top-level directory. */int*testdev=(int*)0xf0000000;#define FAIL 1staticinlinevoidtestdev_assert(intcondition){if(!condition){*testdev=FAIL;asm("debug");}}