Searched refs:raiseException0WithLocation (Results 1 - 2 of 2) sorted by relevance
| /seL4-l4v-master/HOL4/polyml/libpolyml/ |
| H A D | run_time.h | 63 NORETURNFN(extern void raiseException0WithLocation(TaskData *taskData, int id, const char *file, int line));
64 #define raise_exception0(taskData, id) raiseException0WithLocation(taskData, id, __FILE__, __LINE__)
|
| H A D | run_time.cpp | 226 void raiseException0WithLocation(TaskData *taskData, int id, const char *file, int line) function
|
Completed in 91 milliseconds