blob: 8449e4b5aba8b04c8ac42c65f8328f409d3e17c0 [file] [log] [blame]
* 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
b el3_exit
endfunc begin_sdei_synchronous_dispatch