Lines Matching full:arm64
9 * @brief ARM64 specific kernel interface header
11 * This header contains the ARM64 specific kernel interface. It is
13 * (include/arm64/cpu.h)
22 #include <zephyr/arch/arm64/thread.h>
23 #include <zephyr/arch/arm64/exc.h>
24 #include <zephyr/arch/arm64/irq.h>
25 #include <zephyr/arch/arm64/misc.h>
26 #include <zephyr/arch/arm64/asm_inline.h>
27 #include <zephyr/arch/arm64/cpu.h>
28 #include <zephyr/arch/arm64/macro.inc>
29 #include <zephyr/arch/arm64/sys_io.h>
30 #include <zephyr/arch/arm64/timer.h>
31 #include <zephyr/arch/arm64/error.h>
32 #include <zephyr/arch/arm64/mm.h>
33 #include <zephyr/arch/arm64/thread_stack.h>