| /seL4-l4v-master/seL4/src/plat/pc99/machine/ |
| H A D | intel-vtd.c | 423 uint32_t data, addr; local
|
| /seL4-l4v-master/HOL4/polyml/basis/ |
| H A D | BasicStreamIO.sml | 133 val data = readVec chunkSize value
|
| /seL4-l4v-master/HOL4/tools/Holmake/ |
| H A D | Holmake.sml | 970 val {data = g, incdirmap,...} = value
[all...] |
| /seL4-l4v-master/HOL4/tools/mlyacc/src/ |
| H A D | yacc.sml | 643 let val data = array(numTerms,"") value
660 let val data = array(numNonterms,"") value
755 let val data = array(numTerms+numNonterms,NONE : ty option) value
[all...] |
| /seL4-l4v-master/HOL4/examples/separationLogic/src/holfoot/ |
| H A D | holfootLib.sml | 1105 val (data, _) = dest_forall (rhs (concl xthm4)) value
2414 val data = listSyntax.mk_list (rev upL', pairSyntax.mk_prod ( value
[all...] |
| /seL4-l4v-master/HOL4/examples/elliptic/ |
| H A D | fieldTools.sml | 986 val data = value
1149 val data = value
1211 val data = value
|
| /seL4-l4v-master/HOL4/examples/ARM/v4/ |
| H A D | arm_evalLib.sml | 638 val data = inputAll istr value
|
| /seL4-l4v-master/HOL4/examples/theorem-prover/lisp-runtime/extract/ |
| H A D | lisp_extractLib.sml | 464 val data = map gen_data names value
|
| /seL4-l4v-master/seL4/src/arch/x86/object/ |
| H A D | vcpu.c | 47 char data[VMXON_REGION_SIZE - sizeof(uint32_t)]; member in struct:PACKED
|
| /seL4-l4v-master/HOL4/src/parse/ |
| H A D | term_grammar.sml | 245 val (data, newnet) = FCNet.itnet foldthis net (NONE, FCNet.empty) value
|
| /seL4-l4v-master/HOL4/examples/l3-machine-code/arm8/model/ |
| H A D | arm8.sml | 1215 val data = value
1747 val data = if rt_unknown then BitsN.fromNat(0,N) else X N t value
1755 val data = value
1909 val data = if rt_unknown then BitsN.fromNat(0,N) else X N t value
1935 val data = Mem N (address,(dbytes,acctype)) value
1962 val data = value
2000 val data = Mem N (address,(dbytes,acctype)) value
2031 val data = value
[all...] |
| /seL4-l4v-master/HOL4/examples/l3-machine-code/m0/model/ |
| H A D | m0.sml | 1571 val data = MemU 32 (address,4) value
1595 val data = MemU 8 (address,1) value
1611 val data = MemU 16 (address,2) value
|
| /seL4-l4v-master/HOL4/examples/l3-machine-code/riscv/model/ |
| H A D | riscv.sml | 3864 val data = MEM pAddrIdx value
3874 val data = BitsN.bits(63,0) ddw value
3962 val data = MEM pAddrIdx value
5644 val data = GPR rs2 value
5675 val data = GPR rs2 value
5706 val data = GPR rs2 value
5739 val data = GPR rs2 value
5837 val data = GPR rs2 value
5896 val data = GPR rs2 value
5946 val data = GPR rs2 value
5995 val data = GPR rs2 value
6046 val data = GPR rs2 value
6102 val data = GPR rs2 value
6160 val data = GPR rs2 value
6216 val data = GPR rs2 value
6274 val data = GPR rs2 value
6330 val data = GPR rs2 value
6388 val data = GPR rs2 value
6444 val data = GPR rs2 value
6502 val data = GPR rs2 value
6558 val data = GPR rs2 value
6616 val data = GPR rs2 value
6672 val data = GPR rs2 value
6730 val data = GPR rs2 value
6786 val data = GPR rs2 value
6844 val data = GPR rs2 value
6900 val data = GPR rs2 value
6980 val data = FPRS rs2 value
7472 val data = FPRD rs2 value
[all...] |
| /seL4-l4v-master/l4v/tools/c-parser/testfiles/ |
| H A D | jiraver443.c | 458 void *data; member in struct:list_node
|
| /seL4-l4v-master/HOL4/polyml/libpolyml/ |
| H A D | xwindows.cpp | 2510 PolyWord data; /* ML (abstype containing) string */ member in struct:__anon18
2544 PolyStringObject *data = GetString(I->data); local
3145 PolyWord data; /* pointer to event-specific data, i member in class:ML_Event
3191 #define data macro
3199 #undef data macro
3224 #define data macro
3234 #undef data macro
3244 #define data macro
3252 #undef data macro
3267 #define data macro
3275 #undef data macro
3288 #define data macro
3298 #undef data macro
3331 #define data macro
3334 #undef data macro
3351 #define data macro
3355 #undef data macro
3373 #define data macro
3380 #undef data macro
3394 #define data macro
3397 #undef data macro
3416 #define data macro
3422 #undef data macro
3441 #define data macro
3444 #undef data macro
3455 #define data macro
3458 #undef data macro
3477 #define data macro
3482 #undef data macro
3494 #define data macro
3501 #undef data macro
3512 #define data macro
3515 #undef data macro
3534 #define data macro
3537 #undef data macro
3548 #define data macro
3551 #undef data macro
3562 #define data macro
3566 #undef data macro
3583 #define data macro
3586 #undef data macro
3597 #define data macro
3602 #undef data macro
3613 #define data macro
3619 #undef data macro
3693 #define data macro
3698 #undef data macro
3761 #define data macro
3768 #undef data macro
3793 #define data macro
3806 #undef data macro
3978 Handle data; local
4025 #define data macro
4031 #undef data macro
4305 #define data macro
4310 #undef data macro
4978 #define data macro
4985 #undef data macro
5022 #define data macro
5036 #undef data macro
5212 #define data macro
5217 #undef data macro
5235 #define data macro
5240 #undef data macro
5273 #define data macro
5278 #undef data macro
5486 #define data macro
5494 #undef data macro
5524 #define data macro
5534 #undef data macro
[all...] |
| /seL4-l4v-master/HOL4/examples/l3-machine-code/arm/model/ |
| H A D | arm.sml | 4987 val data = MemU 32 (address,4) value
5016 val data = MemU 32 (address,4) value
5049 val data = MemU_unpriv 32 (address,4) value
5149 val data = MemU 16 (address,2) value
5167 val data = MemU 16 (address,2) value
5189 val data = MemU_unpriv 16 (address,2) value
5438 val data = value
5468 val data = value
5805 val data = MemA 8 (Rn,1) value
5816 val data = MemA 32 (Rn,4) value
[all...] |