Lines Matching full:arm
9 * @brief ARM AArch32 specific kernel interface header
11 * This header contains the ARM AArch32 specific kernel interface. It is
13 * (include/arm/cpu.h)
22 /* ARM GPRs are often designated by two different names */
25 #include <arch/arm/aarch32/thread.h>
26 #include <arch/arm/aarch32/exc.h>
27 #include <arch/arm/aarch32/irq.h>
28 #include <arch/arm/aarch32/error.h>
29 #include <arch/arm/aarch32/misc.h>
32 #include <arch/arm/aarch32/nmi.h>
33 #include <arch/arm/aarch32/asm_inline.h>
37 #include <arch/arm/aarch32/cortex_m/cpu.h>
38 #include <arch/arm/aarch32/cortex_m/memory_map.h>
41 #include <arch/arm/aarch32/cortex_a_r/cpu.h>
42 #include <arch/arm/aarch32/cortex_a_r/sys_io.h>
43 #include <arch/arm/aarch32/cortex_a_r/timer.h>
181 /* On arm, all MPU guards are carve-outs. */
187 #include <arch/arm/aarch32/mpu/arm_mpu.h>
190 #include <arch/arm/aarch32/mpu/nxp_mpu.h>