/*
 * 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 1
static inline void testdev_assert(int condition)
{
    if (!condition) {
        *testdev = FAIL;
        asm("debug");
    }
}