// SPDX-License-Identifier: BSD-3-Clause // // Copyright(c) 2019 Intel Corporation. All rights reserved. // // Author: Tomasz Lauda #include void __panic(uint32_t p, char *filename, uint32_t linenum) { }