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

/barrelfish-master/lib/demandpaging/include/
H A Ddp_internal.h59 #define DP_DEBUG_HANDLER(fmt, ... ) \ macro
62 #define DP_DEBUG_HANDLER(fmt, ... ) macro
/barrelfish-master/lib/demandpaging/
H A Ddemandpaging.c209 DP_DEBUG_HANDLER("pagefault at vaddr = %" PRIx64 "\n", vaddr);
225 DP_DEBUG_HANDLER("dpr not found\n");
247 DP_DEBUG_HANDLER("handling fault on page 0x%" PRIx64 " in dpr='%s' with "
282 DP_DEBUG_HANDLER("unknown exception\n");

Completed in 24 milliseconds