1 // SPDX-License-Identifier: GPL-2.0+
3 * Copyright (c) 2011 The Chromium OS Authors.
4 * Use of this source code is governed by a BSD-style license that can be
5 * found in the LICENSE file.
8 #include <efi_loader.h>
11 #include <asm/global_data.h>
12 #include <asm-generic/signal.h>
13 #include <asm/u-boot-sandbox.h>
15 DECLARE_GLOBAL_DATA_PTR;
17 int interrupt_init(void)
22 void enable_interrupts(void)
26 int disable_interrupts(void)
31 void os_signal_action(int sig, unsigned long pc)
37 printf("\nIllegal instruction\n");
40 printf("\nBus error\n");
43 printf("\nSegmentation violation\n");
48 printf("pc = 0x%lx, ", pc);
49 printf("pc_reloc = 0x%lx\n\n", pc - gd->reloc_off);
50 efi_print_image_infos((void *)pc);
52 if (IS_ENABLED(CONFIG_SANDBOX_CRASH_RESET)) {
53 printf("resetting ...\n\n");