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

/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/
H A Djiraver464.c48 void halt(void);
/seL4-l4v-10.1.1/seL4/src/arch/riscv/
H A Didle.c29 void VISIBLE halt(void) function
/seL4-l4v-10.1.1/seL4/src/arch/x86/
H A Didle.c24 void VISIBLE halt(void) function
26 /* halt is actually, idle thread without the interrupts */
/seL4-l4v-10.1.1/seL4/src/
H A Dassert.c29 halt();
44 halt();
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/
H A Didle.c31 void NORETURN NO_INLINE VISIBLE halt(void) function
33 /* halt is actually, idle thread without the interrupts */
H A Dtraps.S216 blx halt
220 blx halt
H A Dhyp_traps.S232 blx halt
236 blx halt
/seL4-l4v-10.1.1/seL4/src/arch/arm/64/
H A Didle.c25 void NORETURN NO_INLINE VISIBLE halt(void) function
27 /* halt is actually, idle thread without the interrupts */
H A Dtraps.S106 b halt
125 b halt
132 b halt
/seL4-l4v-10.1.1/seL4/src/arch/arm/armv/armv7-a/
H A Dtlb.c51 halt();
/seL4-l4v-10.1.1/seL4/include/
H A Dassert.h40 #define fail(s) halt()
H A Dutil.h90 void halt(void) NORETURN;
/seL4-l4v-10.1.1/seL4/src/arch/riscv/machine/
H A Dio.c102 halt();
/seL4-l4v-10.1.1/seL4/src/arch/x86/api/
H A Dfaults.c97 halt();
/seL4-l4v-10.1.1/seL4/src/api/
H A Dsyscall.c79 printf("Debug halt syscall from user thread %p \"%s\"\n", tptr, tptr->tcbName);
80 halt();
98 * then assume the system is completely misconfigured and halt */
107 halt();
113 halt();
119 halt();
/seL4-l4v-10.1.1/HOL4/examples/acl2/tests/inputs/
H A Dm1-story.lisp313 (halt)
315 (halt)))
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/kernel/
H A Dvspace.c3073 halt();
3086 halt();
3098 halt();
3112 halt();
3125 halt();
/seL4-l4v-10.1.1/HOL4/examples/machine-code/graph/
H A Dfile_readerLib.sml12 val skip_names = ref ["halt"];
/seL4-l4v-10.1.1/HOL4/examples/computability/turing/
H A Dturing_machineScript.sml182 Total Recursive Function correspond to Turing Machine computable functions that always halt
/seL4-l4v-10.1.1/seL4/src/arch/arm/64/kernel/
H A Dvspace.c2565 halt();
2578 halt();

Completed in 146 milliseconds