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

/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/x64/prog/
H A Dx64_progLib.sml27 val dword = wordsSyntax.mk_int_word_type 32 value
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/mips/prog/
H A Dmips_progLib.sml28 val dword = wordsSyntax.mk_int_word_type 64 value
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm8/prog/
H A Darm8_progLib.sml27 val dword = wordsSyntax.mk_int_word_type 64 value
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/riscv/prog/
H A Driscv_progLib.sml29 val dword = wordsSyntax.mk_int_word_type 64 value
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm/prog/
H A Darm_progLib.sml36 val dword = wordsSyntax.mk_int_word_type 64 value

Completed in 43 milliseconds