Searched defs:ws2 (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/machine-code/instruction-set-models/x86/
H A Dprog_x86Lib.sml47 val ws2 = map (make_eq_tm ``XREAD_MEM2_WORD a s`` ``a:word32``) ws value
/seL4-l4v-10.1.1/HOL4/examples/machine-code/instruction-set-models/x86_64/
H A Dprog_x64Lib.sml67 val ws2 = map (make_eq_tm ``ZREAD_MEM2_WORD32 a s`` ``a:word64``) ws value

Completed in 54 milliseconds