2017-10-03 22:31:55 +08:00
|
|
|
/*
|
|
|
|
* Copyright (c) 2016 Intel Corporation
|
|
|
|
* Copyright (c) 2017 Oticon A/S
|
|
|
|
*
|
|
|
|
* SPDX-License-Identifier: Apache-2.0
|
|
|
|
*/
|
|
|
|
|
|
|
|
#include <kernel.h>
|
|
|
|
#include <arch/cpu.h>
|
|
|
|
#include <kernel_structs.h>
|
2019-06-26 22:33:49 +08:00
|
|
|
#include <sys/printk.h>
|
2017-10-03 22:31:55 +08:00
|
|
|
#include <inttypes.h>
|
2018-09-19 17:13:57 +08:00
|
|
|
#include <logging/log_ctrl.h>
|
2019-10-24 23:08:21 +08:00
|
|
|
#include <arch/posix/posix_soc_if.h>
|
2017-10-03 22:31:55 +08:00
|
|
|
|
2019-11-08 04:43:29 +08:00
|
|
|
FUNC_NORETURN void arch_system_halt(unsigned int reason)
|
2017-10-03 22:31:55 +08:00
|
|
|
{
|
2019-07-12 05:18:28 +08:00
|
|
|
ARG_UNUSED(reason);
|
2017-10-03 22:31:55 +08:00
|
|
|
|
2019-07-12 05:18:28 +08:00
|
|
|
posix_print_error_and_exit("Exiting due to fatal error\n");
|
|
|
|
CODE_UNREACHABLE; /* LCOV_EXCL_LINE */
|
2017-10-03 22:31:55 +08:00
|
|
|
}
|