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

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dsys.h34 #define EXC_divide 7 /* General.Div */ macro

Completed in 25 milliseconds