Searched refs:EXC_XWindows (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dsys.h40 #define EXC_XWindows 10 macro
H A Drun_time.cpp176 case EXC_XWindows: exName = "XWindows"; break;
H A Dxwindows.cpp322 raise_exception_string(taskData, EXC_XWindows,s);
9607 raise_exception_string(taskData, EXC_XWindows, "Not implemented");
9619 raise_exception_string(taskData, EXC_XWindows, "Not implemented");

Completed in 107 milliseconds