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

/barrelfish-2018-10-04/lib/lua/src/
H A Dltm.h47 #define objtypename(x) ttypename(ttypenv(x)) macro
H A Dldebug.c516 const char *t = objtypename(o);
548 const char *t1 = objtypename(p1);
549 const char *t2 = objtypename(p2);

Completed in 33 milliseconds