/* | |
* Copyright (c) 2018-2019, ARM Limited and Contributors. All rights reserved. | |
* | |
* SPDX-License-Identifier: BSD-3-Clause | |
*/ | |
#include <asm_macros.S> | |
.globl begin_sdei_synchronous_dispatch | |
/* | |
* void begin_sdei_synchronous_dispatch(jmp_buf *buffer); | |
* | |
* Begin SDEI dispatch synchronously by setting up a jump point, and exiting | |
* EL3. This jump point is jumped to by the dispatcher after the event is | |
* completed by the client. | |
*/ | |
func begin_sdei_synchronous_dispatch | |
stp x30, xzr, [sp, #-16]! | |
bl setjmp | |
cbz x0, 1f | |
ldp x30, xzr, [sp], #16 | |
ret | |
1: | |
b el3_exit | |
endfunc begin_sdei_synchronous_dispatch |