You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
26 lines
616 B
26 lines
616 B
/*
|
|
* 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
|
|
|