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.
9 #include <efi_loader.h>
12 #include <asm/global_data.h>
13 #include <asm-generic/signal.h>
14 #include <asm/u-boot-sandbox.h>
16 DECLARE_GLOBAL_DATA_PTR;
18 int interrupt_init(void)
23 void enable_interrupts(void)
27 int disable_interrupts(void)
32 void os_signal_action(int sig, unsigned long pc)
38 printf("\nIllegal instruction\n");
41 printf("\nBus error\n");
44 printf("\nSegmentation violation\n");
49 printf("pc = 0x%lx, ", pc);
50 printf("pc_reloc = 0x%lx\n\n", pc - gd->reloc_off);
51 efi_print_image_infos((void *)pc);
53 if (IS_ENABLED(CONFIG_SANDBOX_CRASH_RESET)) {
54 printf("resetting ...\n\n");