commit
90efca2539
@ -0,0 +1,49 @@ |
||||
/* SPDX-License-Identifier: GPL-2.0 */ |
||||
/* |
||||
* Copyright (C) 2018 Intel Corporation |
||||
* |
||||
* See arch/x86/include/asm/setjmp.h for jmp_buf format |
||||
*/ |
||||
|
||||
#include <linux/linkage.h> |
||||
|
||||
.text |
||||
.align 8
|
||||
|
||||
ENTRY(setjmp) |
||||
|
||||
pop %rcx |
||||
movq %rcx, (%rdi) /* Return address */ |
||||
movq %rsp, 8(%rdi) |
||||
movq %rbp, 16(%rdi) |
||||
movq %rbx, 24(%rdi) |
||||
movq %r12, 32(%rdi) |
||||
movq %r13, 40(%rdi) |
||||
movq %r14, 48(%rdi) |
||||
movq %r15, 56(%rdi) |
||||
xorq %rax, %rax /* Direct invocation returns 0 */ |
||||
jmpq *%rcx |
||||
|
||||
ENDPROC(setjmp) |
||||
|
||||
.align 8
|
||||
|
||||
ENTRY(longjmp) |
||||
|
||||
movq (%rdi), %rcx /* Return address */ |
||||
movq 8(%rdi), %rsp |
||||
movq 16(%rdi), %rbp |
||||
movq 24(%rdi), %rbx |
||||
movq 32(%rdi), %r12 |
||||
movq 40(%rdi), %r13 |
||||
movq 48(%rdi), %r14 |
||||
movq 56(%rdi), %r15 |
||||
|
||||
movq %rsi, %rax /* Value to be returned by setjmp() */ |
||||
testq %rax, %rax /* cannot be 0 in this case */ |
||||
jnz 1f |
||||
incq %rax /* Return 1 instead */ |
||||
1: |
||||
jmpq *%rcx |
||||
|
||||
ENDPROC(longjmp) |
@ -1,19 +0,0 @@ |
||||
// SPDX-License-Identifier: GPL-2.0+
|
||||
/*
|
||||
* Copyright (c) 2016 Google, Inc |
||||
*/ |
||||
|
||||
#include <common.h> |
||||
#include <asm/setjmp.h> |
||||
|
||||
int setjmp(struct jmp_buf_data *jmp_buf) |
||||
{ |
||||
printf("WARNING: setjmp() is not supported\n"); |
||||
|
||||
return 0; |
||||
} |
||||
|
||||
void longjmp(struct jmp_buf_data *jmp_buf, int val) |
||||
{ |
||||
printf("WARNING: longjmp() is not supported\n"); |
||||
} |
@ -1,6 +1,6 @@ |
||||
EFI-X86 BOARD |
||||
EFI-X86_APP BOARD |
||||
M: Simon Glass <sjg@chromium.org> |
||||
S: Maintained |
||||
F: board/efi/efi-x86/ |
||||
F: include/configs/efi-x86.h |
||||
F: configs/efi-x86_defconfig |
||||
F: board/efi/efi-x86_app/ |
||||
F: include/configs/efi-x86_app.h |
||||
F: configs/efi-x86_app_defconfig |
||||
|
@ -0,0 +1,18 @@ |
||||
// SPDX-License-Identifier: GPL-2.0+
|
||||
/*
|
||||
* Copyright (C) 2018, Bin Meng <bmeng.cn@gmail.com> |
||||
*/ |
||||
|
||||
#include <common.h> |
||||
#include <usb.h> |
||||
|
||||
int board_early_init_r(void) |
||||
{ |
||||
/*
|
||||
* Make sure PCI bus is enumerated so that peripherals on the PCI bus |
||||
* can be discovered by their drivers |
||||
*/ |
||||
pci_init(); |
||||
|
||||
return 0; |
||||
} |
Loading…
Reference in new issue