Searched refs:ARM (Results 1 - 20 of 20) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/
H A Dwceconf.h89 #if defined(ARM)
90 # define PORT_CE_CPU "ARM"
104 # error Only ARM, PPC, ALPHA, SH3, SH4, MIPS and X86 supported
342 /* ARM - the processor; avoids conflict with ARM in hack.h */
343 # ifdef ARM
344 # undef ARM macro
H A Dhack.h227 #define ARM 0 macro
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/
H A Dwceconf.h89 #if defined(ARM)
90 # define PORT_CE_CPU "ARM"
104 # error Only ARM, PPC, ALPHA, SH3, SH4, MIPS and X86 supported
342 /* ARM - the processor; avoids conflict with ARM in hack.h */
343 # ifdef ARM
344 # undef ARM macro
H A Dhack.h227 #define ARM 0 macro
/seL4-refos-master/seL4_tools/cmake-tool/helpers/
H A Dmake-uimage44 $PROGNAME: generate U-Boot payload for ARM platform
106 die "unrecognized (ARM) architecture \"$ARCHITECTURE\""
/seL4-refos-master/kernel/manual/parts/
H A Dvspace.tex87 Like IA-32, ARM AArch32 realise the VSpace as a \texttt{PageDirectory}, which covers the entire
91 ARM AArch32 processors have a two-level page-table structure.
103 ARM AArch64 processors have a four-level page-table structure, where the VSpace is realised as a
283 page being mapped; possible values for ARM that can be bitwise OR'd together are
300 \caption{\label{tbl:vmattr_arm} Virtual memory attributes for ARM page
H A Dbootup.tex107 \texttt{seL4\_SlotRegion} & \texttt{ioSpaceCaps} & I/O space capabilities for ARM SMMU \\
203 On ARM if the platform has any available SMMU units the capabilities for them
H A Dapi.tex300 \section{ARM-Specific Object Methods}
H A Dthreads.tex454 registers available, of all types available on the hardware platform. On the ARM
468 set only on ARM platforms. The API-ID of the first exclusive breakpoint is given
475 on ARM platforms. The API-ID of the first exclusive watchpoint is given
628 ARM or x86 for more precise details.
639 \subsection{ARM}
H A Dio.tex358 The kernel allows copying both \obj{ARM\_SID} cap and \obj{seL4\_ARM\_CB} cap.
381 Deleting the last ARM\_SID cap will:
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/
H A Dpolyself.c1206 if (mptr == &mons[PM_JELLYFISH] && (part == ARM || part == FINGER ||
1212 (part == ARM || part == FINGER || part == FINGERTIP ||
1222 else if (part == ARM || part == FINGER ||
H A Dfountain.c438 body_part(ARM));
H A Dtrap.c824 body_part(ARM));
836 body_part(ARM));
1837 mon_nam(mtmp), mbodypart(mtmp, ARM));
1850 mon_nam(mtmp), mbodypart(mtmp, ARM));
3333 makeplural(body_part(ARM)),
3367 makeplural(body_part(ARM)), mon_nam(mtmp));
H A Ddothrow.c1047 body_part(ARM));
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/
H A Dpolyself.c1206 if (mptr == &mons[PM_JELLYFISH] && (part == ARM || part == FINGER ||
1212 (part == ARM || part == FINGER || part == FINGERTIP ||
1222 else if (part == ARM || part == FINGER ||
H A Dfountain.c438 body_part(ARM));
H A Dtrap.c824 body_part(ARM));
836 body_part(ARM));
1837 mon_nam(mtmp), mbodypart(mtmp, ARM));
1850 mon_nam(mtmp), mbodypart(mtmp, ARM));
3333 makeplural(body_part(ARM)),
3367 makeplural(body_part(ARM)), mon_nam(mtmp));
H A Ddothrow.c1047 body_part(ARM));
/seL4-refos-master/libs/libplatsupport/src/plat/imx6/
H A Dclock.c247 static struct clock arm_clk = { CLK_OPS(ARM, arm, NULL) };
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/imx6/
H A Dclock.c247 static struct clock arm_clk = { CLK_OPS(ARM, arm, NULL) };

Completed in 255 milliseconds