Serenity Operating System
at master 20 lines 335 B view raw
1/* 2 * Copyright (c) 2018-2020, Andreas Kling <kling@serenityos.org> 3 * 4 * SPDX-License-Identifier: BSD-2-Clause 5 */ 6 7#include <AK/Assertions.h> 8#include <AK/Format.h> 9 10#if !defined(KERNEL) 11extern "C" { 12 13void ak_verification_failed(char const* message) 14{ 15 dbgln("VERIFICATION FAILED: {}", message); 16 __builtin_trap(); 17} 18} 19 20#endif