| /* |
| * Copyright (c) 2019 Carlo Caione <ccaione@baylibre.com> |
| * |
| * SPDX-License-Identifier: Apache-2.0 |
| */ |
| |
| /** |
| * @file |
| * @brief Software interrupts utility code - ARM64 implementation |
| */ |
| |
| #include <kernel.h> |
| #include <irq_offload.h> |
| #include <exc.h> |
| |
| volatile irq_offload_routine_t offload_routine; |
| static const void *offload_param; |
| |
| void z_irq_do_offload(void) |
| { |
| offload_routine(offload_param); |
| } |
| |
| void arch_irq_offload(irq_offload_routine_t routine, const void *parameter) |
| { |
| k_sched_lock(); |
| offload_routine = routine; |
| offload_param = parameter; |
| |
| z_arm64_offload(); |
| |
| offload_routine = NULL; |
| k_sched_unlock(); |
| } |