Searched defs:architecture (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/
H A Dpolyexports.h72 unsigned architecture; // Machine architecture member in struct:_exportDescription
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm/step/
H A Darm_configLib.sml120 val architecture = ``^st.Architecture`` value
/seL4-l4v-10.1.1/HOL4/examples/ARM/v7/eval/
H A Demit_eval.sml91 fun architecture a = function
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/riscv/model/
H A Driscv.sig611 val architecture: BitsN.nbit -> Architecture value
H A Driscv.sml1671 fun architecture ab = function

Completed in 172 milliseconds