| /seL4-l4v-10.1.1/HOL4/src/metis/ |
| H A D | mlibClauseset.sml | 556 val sp = if splitting then List.concat o map split else I value
|
| /seL4-l4v-10.1.1/HOL4/examples/ARM/v7/ |
| H A D | arm_random_testingLib.sml | 70 val sp = mk_word4 13 value
|
| H A D | arm_parserLib.sml | 3106 val sp = bit 5 high_bits value
3179 val sp = bit 5 high_bits value
|
| /seL4-l4v-10.1.1/HOL4/examples/HolCheck/ |
| H A D | ksTools.sml | 126 val sp = List.map (fn v => mk_bool_var (v^"'")) s value
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
| H A D | globals.h | 138 static PolyWord FromStackAddr(PolyWord *sp) { return PolyWord(sp); } argument
169 PolyWord(PolyWord *sp) { contents.stackAddr = sp; } argument
|
| H A D | interpret.cpp | 155 PolyObject *allocateMemory(POLYUNSIGNED words, POLYCODEPTR &pc, PolyWord *&sp) argument
177 PolyObject *boxDouble(double d, POLYCODEPTR &pc, PolyWord *&sp) argument
200 void SaveInterpreterState(POLYCODEPTR pc, PolyWord *sp) argument
207 void LoadInterpreterState(POLYCODEPTR &pc, PolyWord *&sp) argument
315 PolyWord *sp; local
[all...] |
| H A D | realconv.cpp | 1621 (sp, t) char **sp, *t; variable
1643 (rvp, sp) U *rvp; CONST char **sp; variable
1829 CONST char **sp; U *rvp; int rounding, sign; variable
[all...] |
| H A D | x86_dep.cpp | 641 PolyWord * sp = 0; local
[all...] |
| /seL4-l4v-10.1.1/seL4/src/arch/riscv/kernel/ |
| H A D | vspace.c | 1230 word_t sp = getRegister(tptr, SP); local
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/64/kernel/ |
| H A D | vspace.c | 1663 word_t sp; local
|
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/m0/prog/ |
| H A D | m0_progLib.sml | 263 val sp = wordsSyntax.mk_wordii (13, 4) value
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 3189 word_t sp; local
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 2617 word_t sp; local
|
| /seL4-l4v-10.1.1/l4v/camkes/glue-proofs/ |
| H A D | EventFrom.c | 183 sp member in struct:__anon15
|
| H A D | EventTo.c | 183 sp member in struct:__anon27
|
| H A D | RPCFrom.c | 184 sp member in struct:__anon42
|
| H A D | RPCTo.c | 183 sp member in struct:__anon57
|
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm8/model/ |
| H A D | arm8.sml | 983 val sp = value
1084 val sp = SP 64 value
|
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/m0/model/ |
| H A D | m0.sml | 1747 val sp = SP () value
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/ |
| H A D | dlmalloc.c | 2156 msegmentptr sp = &m->seg; local
2167 msegmentptr sp = &m->seg; local
2623 msegmentptr sp = segment_holding(m, (char*)p); local
3376 mchunkptr sp = (mchunkptr)csp; local
3565 msegmentptr sp = &m->seg; local
3618 msegmentptr sp = pred->next; local
3665 msegmentptr sp = segment_holding(m, (char*)m->top); local
4525 msegmentptr sp = &ms->seg; local
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/acl2/ml/ |
| H A D | polytypicLib.sml | 299 fun sp y = map snd o filter (curry op= y o fst) function
|
| /seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/ |
| H A D | jiraver443.c | 52 seL4_Word pc, sp, cpsr, r0, r1, r8, r9, r10, r11, r12; member in struct:seL4_UserContext_
|