Searched defs:fs2 (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.sml46 val fs2 = map (make_eq_tm ``XREAD_EFLAG f s`` ``f:Xeflags``) fs value
/seL4-l4v-10.1.1/HOL4/examples/machine-code/instruction-set-models/x86_64/
H A Dprog_x64Lib.sml66 val fs2 = map (make_eq_tm ``ZREAD_EFLAG f s`` ``f:Zeflags``) fs value

Completed in 44 milliseconds