Searched refs:raiseExceptionFailWithLocation (Results 1 - 2 of 2) sorted by relevance
| /seL4-l4v-master/HOL4/polyml/libpolyml/ |
| H A D | run_time.h | 71 NORETURNFN(extern void raiseExceptionFailWithLocation(TaskData *taskData, const char *str, const char *file, int line));
72 #define raise_fail(taskData, errmsg) raiseExceptionFailWithLocation(taskData, errmsg, __FILE__, __LINE__)
|
| H A D | run_time.cpp | 267 void raiseExceptionFailWithLocation(TaskData *taskData, const char *str, const char *file, int line) function
|
Completed in 35 milliseconds