/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/ |
H A D | jiraver345.c | 19 int bad(struct ure *sp) { argument
|
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/32/mode/smp/ |
H A D | smp.h | 39 word_t sp = getCurSP(); local
|
/seL4-l4v-10.1.1/HOL4/examples/HolBdd/Examples/KatiPuzzle/ |
H A D | KatiPuzzleScript.sml | 206 fun sp () = print " --- " function
|
/seL4-l4v-10.1.1/HOL4/examples/HolBdd/Examples/Solitaire/ |
H A D | HexSolitaireScript.sml | 189 fun sp () = print " " function [all...] |
H A D | SolitaireScript.sml | 232 fun sp () = print " " function
|
/seL4-l4v-10.1.1/seL4/src/arch/x86/api/ |
H A D | faults.c | 61 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-10.1.1/HOL4/tools/mlyacc/src/ |
H A D | absyn.sml | 123 val sp = [" "] value
|
/seL4-l4v-10.1.1/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-10.1.1/seL4/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/ |
H A D | types.h | 26 seL4_Word pc, sp, cpsr, r0, r1, r8, r9, r10, r11, r12; member in struct:seL4_UserContext_
|
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/ |
H A D | types.h | 26 seL4_Word pc, sp, cpsr, r0, r1, r8, r9, r10, r11, r12; member in struct:seL4_UserContext_
|
/seL4-l4v-10.1.1/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-10.1.1/seL4/libsel4/arch_include/riscv/sel4/arch/ |
H A D | types.h | 43 seL4_Word sp; member in struct:seL4_UserContext_
|
/seL4-l4v-10.1.1/HOL4/src/coretypes/ |
H A D | posetScript.sml | 41 val (sp,ty) = dest_var vp value
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
H A D | heapsizing.cpp | 226 LocalMemSpace *sp = gMem.NewLocalSpace(spaceSize, isMutable); // Return the space or zero if it failed local 244 LocalMemSpace *sp = gMem.NewLocalSpace(gMem.DefaultSpaceSize(), isMutable); local
|
H A D | quick_gc.cpp | 248 LocalMemSpace *sp = *i; local
|
H A D | scanaddrs.cpp | 416 unsigned sp; member in class:RScanStack [all...] |
H A D | gc_mark_phase.cpp | 315 MemSpace *sp = gMem.SpaceForAddress(obj-1); local 350 MemSpace *sp = gMem.SpaceForAddress(val.AsStackAddr()-1); local
|
H A D | memmgr.cpp | 283 LocalMemSpace *sp = *iter; local [all...] |
/seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/machine/ |
H A D | registerset.h | 35 sp = 1, SP = 1, enumerator in enum:_register
|
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/ |
H A D | types.h | 29 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-10.1.1/HOL4/polyml/libpolyml/libffi/src/ |
H A D | closures.c | 592 msegmentptr sp = &m->seg; local
|
/seL4-l4v-10.1.1/seL4/src/arch/x86/32/kernel/ |
H A D | vspace_32paging.c | 367 word_t sp; local
|