Branch data     Line data    Source code

       1                 :            : /*
       2                 :            :  * Copyright (c) 2016 Intel Corporation
       3                 :            :  * Copyright (c) 2017 Oticon A/S
       4                 :            :  *
       5                 :            :  * SPDX-License-Identifier: Apache-2.0
       6                 :            :  */
       7                 :            : 
       8                 :            : #include <zephyr/kernel.h>
       9                 :            : #include <zephyr/arch/cpu.h>
      10                 :            : #include <zephyr/kernel_structs.h>
      11                 :            : #include <zephyr/sys/printk.h>
      12                 :            : #include <inttypes.h>
      13                 :            : #include <zephyr/logging/log_ctrl.h>
      14                 :            : #include <zephyr/arch/posix/posix_soc_if.h>
      15                 :            : 
      16                 :            : extern void nsi_raise_sigtrap(void);
      17                 :            : 
      18                 :          0 : FUNC_NORETURN void arch_system_halt(unsigned int reason)
      19                 :            : {
      20                 :          0 :         ARG_UNUSED(reason);
      21                 :            : 
      22                 :          0 :         if (IS_ENABLED(CONFIG_ARCH_POSIX_TRAP_ON_FATAL)) {
      23                 :            :                 nsi_raise_sigtrap();
      24                 :            :         }
      25                 :            : 
      26                 :          0 :         posix_print_error_and_exit("Exiting due to fatal error\n");
      27                 :            :         CODE_UNREACHABLE; /* LCOV_EXCL_LINE */
      28                 :            : }