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

/barrelfish-2018-10-04/lib/barrelfish/
H A Ddispatch.c56 static inline void assert_print(const char *str) function
84 // assert_print("FIXME: infinite while loop\n");
213 assert_print("dispatcher PANIC: sys_yield returned");
346 assert_print("Warning: don't know how to determine fault type on this arch!\n");
367 assert_print(str);
380 assert_print(str);
413 assert_print(str);
415 assert_print("NULL pointer dereferenced!\n");
418 // NOTE: Based on which code is is causing page fault, only assert_print
424 // FIXME: Make sure that following are using assert_print t
[all...]

Completed in 29 milliseconds