Searched defs:field (Results 1 - 14 of 14) sorted by relevance
| /seL4-l4v-10.1.1/HOL4/src/parse/ |
| H A D | ParseDatatype.sig | 8 type field = ParseDatatype_dtype.field type
|
| H A D | ParseDatatype_dtype.sml | 9 type field = string * pretype type
|
| /seL4-l4v-10.1.1/HOL4/src/HolSat/sat_solvers/minisat/ |
| H A D | Global.h | 118 static inline int memReadStat(int field) argument
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/object/ |
| H A D | vcpu.c | 315 readVCPUReg(vcpu_t *vcpu, word_t field) argument
336 writeVCPUReg(vcpu_t *vcpu, word_t field, word_t value) argument
542 invokeVCPUWriteReg(vcpu_t *vcpu, word_t field, word_t value) argument
551 word_t field; local
571 invokeVCPUReadReg(vcpu_t *vcpu, word_t field, bool_t call) argument
590 word_t field; local
[all...] |
| /seL4-l4v-10.1.1/seL4/include/arch/arm/armv/armv8-a/64/armv/ |
| H A D | vcpu.h | 610 readVCPUReg(vcpu_t *vcpu, word_t field) argument
631 writeVCPUReg(vcpu_t *vcpu, word_t field, word_t value) argument
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/elliptic/ |
| H A D | fieldTools.sml | 629 val field = field_field tm value
[all...] |
| /seL4-l4v-10.1.1/HOL4/src/1/ |
| H A D | TypeBasePure.sml | 1042 fun field s v = [Sym s, v] function
[all...] |
| /seL4-l4v-10.1.1/HOL4/Manual/Translations/IT/Description/ |
| H A D | theories.tex | [all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/CodeTree/ |
| H A D | CODETREE_OPTIMISER.sml | 1314 val field = value
|
| /seL4-l4v-10.1.1/HOL4/polyml/basis/ |
| H A D | String.sml | |
| /seL4-l4v-10.1.1/seL4/include/arch/x86/arch/object/ |
| H A D | vcpu.h | 362 vmread(word_t field) argument
377 vmwrite(word_t field, word_t value) argument
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/object/ |
| H A D | vcpu.c | 637 invokeWriteVMCS(vcpu_t *vcpu, word_t *buffer, word_t field, word_t value) argument
667 word_t field; local
770 readVMCSField(vcpu_t *vcpu, word_t field) argument
789 invokeReadVMCS(vcpu_t *vcpu, word_t field, word_t *buffer) argument
809 word_t field = getSyscallArg(0, buffer); local
[all...] |
| /seL4-l4v-10.1.1/HOL4/src/tfl/src/ |
| H A D | Defn.sml | 1352 let val field = U (map (fn (x,y) => [x,y]) rel) value
|
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm/model/ |
| H A D | arm.sml | 4959 val field = value
|
Completed in 302 milliseconds