| // SPDX-License-Identifier: GPL-2.0+ |
| * Copyright (c) 2011 The Chromium OS Authors. |
| * Use of this source code is governed by a BSD-style license that can be |
| * found in the LICENSE file. |
| #include <asm/global_data.h> |
| #include <asm-generic/signal.h> |
| #include <asm/u-boot-sandbox.h> |
| void enable_interrupts(void) |
| int disable_interrupts(void) |
| void os_signal_action(int sig, unsigned long pc) |
| printf("\nIllegal instruction\n"); |
| printf("\nSegmentation violation\n"); |
| printf("pc = 0x%lx, ", pc); |
| printf("pc_reloc = 0x%lx\n\n", pc - gd->reloc_off); |
| efi_print_image_infos((void *)pc); |
| if (IS_ENABLED(CONFIG_SANDBOX_CRASH_RESET)) { |
| printf("resetting ...\n\n"); |