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 36 milliseconds