Searched refs:raiseExceptionStringWithLocation (Results 1 - 2 of 2) sorted by relevance
| /seL4-l4v-master/HOL4/polyml/libpolyml/ |
| H A D | run_time.h | 67 NORETURNFN(extern void raiseExceptionStringWithLocation(TaskData *taskData, int id, const char *str, const char *file, int line));
68 #define raise_exception_string(taskData, id, str) raiseExceptionStringWithLocation(taskData, id, str, __FILE__, __LINE__)
|
| H A D | run_time.cpp | 233 void raiseExceptionStringWithLocation(TaskData *taskData, int id, const char *str, const char *file, int line) function
269 raiseExceptionStringWithLocation(taskData, EXC_Fail, str, file, line);
|
Completed in 85 milliseconds