| /seL4-l4v-master/l4v/tools/c-parser/testfiles/ |
| H A D | jiraver345.c | 15 int bad(struct ure *sp) { argument
|
| /seL4-l4v-master/seL4/include/arch/arm/arch/32/mode/smp/ |
| H A D | smp.h | 29 word_t sp = getCurSP(); local
|
| /seL4-l4v-master/HOL4/examples/HolBdd/Examples/Solitaire/ |
| H A D | HexSolitaireScript.sml | 187 fun sp () = print " " function
[all...] |
| H A D | SolitaireScript.sml | 230 fun sp () = print " " function
|
| /seL4-l4v-master/HOL4/examples/machine-code/graph/ |
| H A D | stack_introLib.sml | 51 val sp = sp_pat |> rand value
|
| /seL4-l4v-master/HOL4/examples/HolBdd/Examples/KatiPuzzle/ |
| H A D | KatiPuzzleScript.sml | 204 fun sp () = print " --- " function
|
| /seL4-l4v-master/seL4/src/arch/riscv/ |
| H A D | c_traps.c | 29 word_t sp; local
|
| /seL4-l4v-master/seL4/src/arch/x86/api/ |
| H A D | faults.c | 54 handleKernelException( word_t vector, word_t errcode, word_t ip, word_t sp, word_t flags, word_t cr0, word_t cr2, word_t cr3, word_t cr4 ) argument
|
| /seL4-l4v-master/HOL4/tools/mlyacc/src/ |
| H A D | absyn.sml | 123 val sp = [" "] value
|
| /seL4-l4v-master/HOL4/examples/HolCheck/ |
| H A D | reachTools.sml | 46 val sp = List.drop(rev(lFvLhsR),length(lFvLhsR) div 2) value
|
| H A D | dbgTools.sml | 44 fun sp s = if (!dbg)>0 then (visp := add(!visp,s)) else () (* show all with prefix s *) function
|
| H A D | profTools.sml | 127 fun sp s = if !prf then (ha(); uhp s) else () (*hide all but those with prefix s *) function
|
| H A D | bddTools.sml | 155 val sp = bdd.makeset spi value
|
| /seL4-l4v-master/seL4/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/ |
| H A D | types.h | 19 seL4_Word pc, sp, cpsr, r0, r1, r8, r9, r10, r11, r12; member in struct:seL4_UserContext_
|
| /seL4-l4v-master/seL4/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/ |
| H A D | types.h | 19 seL4_Word pc, sp, cpsr, r0, r1, r8, r9, r10, r11, r12; member in struct:seL4_UserContext_
|
| /seL4-l4v-master/HOL4/examples/theorem-prover/lisp-runtime/bin/ |
| H A D | wrapper.c | 71 void report_error(long bp, long sp, long error) { argument
|
| /seL4-l4v-master/seL4/include/arch/riscv/arch/fastpath/ |
| H A D | fastpath.h | 100 word_t sp; local
|
| /seL4-l4v-master/HOL4/src/coretypes/ |
| H A D | posetScript.sml | 41 val (sp,ty) = dest_var vp value
|
| /seL4-l4v-master/seL4/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/ |
| H A D | types.h | 25 seL4_Word pc, sp, spsr, x0, x1, x2, x3, x4, x5, x6, x7, x8, x16, x17, x18, x29, x30; member in struct:seL4_UserContext_
|
| /seL4-l4v-master/HOL4/polyml/libpolyml/ |
| H A D | heapsizing.cpp | 236 LocalMemSpace *sp = gMem.NewLocalSpace(spaceSize, isMutable); // Return the space or zero if it failed local
254 LocalMemSpace *sp = gMem.NewLocalSpace(gMem.DefaultSpaceSize(), isMutable); local
|
| H A D | quick_gc.cpp | 263 LocalMemSpace *sp = *i; local
|
| H A D | gc_mark_phase.cpp | 317 MemSpace *sp = gMem.SpaceForObjectAddress(obj); local
351 MemSpace *sp = gMem.SpaceForAddress((PolyWord*)obj-1); local
|
| /seL4-l4v-master/seL4/libsel4/arch_include/riscv/sel4/arch/ |
| H A D | types.h | 31 seL4_Word sp; member in struct:seL4_UserContext_
|
| /seL4-l4v-master/seL4/include/arch/riscv/arch/machine/ |
| H A D | registerset.h | 22 sp = 1, SP = 1, enumerator in enum:_register
|
| /seL4-l4v-master/seL4/src/arch/x86/32/kernel/ |
| H A D | vspace_32paging.c | 355 word_t sp; local
|