Searched defs:instruction (Results 1 - 21 of 21) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/ARM/v4/
H A DData.sml55 datatype instruction = type
/seL4-l4v-10.1.1/seL4/src/arch/arm/armv/armv7-a/
H A Dcache.c50 static inline word_t readCacheSize(int level, bool_t instruction) argument
/seL4-l4v-10.1.1/seL4/src/arch/arm/armv/armv8-a/32/
H A Dcache.c50 static inline word_t readCacheSize(int level, bool_t instruction) argument
/seL4-l4v-10.1.1/seL4/src/arch/arm/armv/armv8-a/64/
H A Dcache.c48 static inline word_t readCacheSize(int level, bool_t instruction) argument
/seL4-l4v-10.1.1/HOL4/examples/ARM/v7/eval/
H A Demit_eval.sml245 fun instruction (enc, instr) = function
/seL4-l4v-10.1.1/HOL4/examples/machine-code/hoare-triple/
H A DhelperLib.sig6 type instruction = type
H A DhelperLib.sml20 type instruction = (thm * int * int option) * (thm * int * int option) option type
/seL4-l4v-10.1.1/HOL4/examples/machine-code/graph/
H A Dderive_specsLib.sml453 val instruction = delete_spaces instruction value
458 val instruction = ts |> el 3 value
[all...]
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm8/model/
H A Darm8.sig354 datatype instruction type
[all...]
H A Darm8.sml354 datatype instruction type
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/m0/model/
H A Dm0.sig114 datatype instruction type
[all...]
H A Dm0.sml114 datatype instruction type
/seL4-l4v-10.1.1/HOL4/examples/ARM/v7/
H A Darm_parserLib.sml101 type instruction = type
[all...]
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/x64/model/
H A Dx64.sig112 datatype instruction type
H A Dx64.sml112 datatype instruction type
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm/model/
H A Darm.sig338 datatype instruction type
[all...]
H A Darm.sml338 datatype instruction type
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/mips/model/
H A Dmips.sig313 datatype instruction type
[all...]
H A Dmips.sml313 datatype instruction type
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/riscv/model/
H A Driscv.sig330 datatype instruction type
H A Driscv.sml330 datatype instruction type

Completed in 495 milliseconds