The function end_sdei_explicit_dispatch() was intended to be end_sdei_synchronous_dispatch() which does the opposite of begin_sdei_synchronous_dispatch(). This patch fixes that. No functional changes. Change-Id: I141bd91eb342ecf4ddfd05b49513eee4549e7a56 Signed-off-by: Jeenu Viswambharan <jeenu.viswambharan@arm.com> |
||
---|---|---|
.. | ||
sdei_dispatch.S | ||
sdei_event.c | ||
sdei_intr_mgmt.c | ||
sdei_main.c | ||
sdei_private.h | ||
sdei_state.c |