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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dsys.h34 #define EXC_divide 7 /* General.Div */ macro
H A Drun_time.cpp174 case EXC_divide: exName = "Div"; break;
H A Darb.cpp1064 raise_exception0(taskData, EXC_divide);
1095 if (ly == 0) raise_exception0(taskData, EXC_divide);
1121 if (ly == 0) raise_exception0(taskData, EXC_divide);
H A Dinterpret.cpp268 dividePacket = makeExceptionPacket(parentTask, EXC_divide);

Completed in 89 milliseconds