Searched defs:exc (Results 1 - 7 of 7) sorted by relevance

/seL4-l4v-master/HOL4/examples/l3-machine-code/arm8/step/
H A Darm8_stepLib.sml53 val exc = ``SND (raise'exception e s : 'a # arm8_state)`` value
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dinterpret.cpp398 void IntTaskData::SetException(poly_exn *exc) argument
H A Dx86_dep.cpp900 void X86TaskData::SetException(poly_exn *exc) argument
/seL4-l4v-master/HOL4/examples/l3-machine-code/x64/step/
H A Dx64_stepLib.sml48 val exc = ``SND (raise'exception e s : 'a # x64_state)`` value
/seL4-l4v-master/HOL4/examples/l3-machine-code/mips/step/
H A Dmips_stepLib.sml66 val exc = ``SND (raise'exception e s : 'a # mips_state)`` value
/seL4-l4v-master/HOL4/examples/l3-machine-code/m0/step/
H A Dm0_stepLib.sml52 val exc = ``SND (raise'exception e s : 'a # m0_state)`` value
/seL4-l4v-master/HOL4/examples/l3-machine-code/arm/step/
H A Darm_stepLib.sml67 val exc = ``SND (raise'exception e s : 'a # arm_state)`` value

Completed in 181 milliseconds