-#if 0 /* Display mappings for debug */
- fprintf(stderr,
- "%#014llx - %#014llx | %c%c%c | %s\n",
- memreg.start_addr, memreg.end_addr,
- (memreg.prot & PROT_READ) ? 'r' : '-',
- (memreg.prot & PROT_WRITE) ? 'w' : '-',
- (memreg.prot & PROT_EXEC) ? 'x' : '-',
- memreg.pathname.c_str());
-#endif
+ XBT_DEBUG("Region: %016" PRIx64 "-%016" PRIx64 " | %c%c%c | %s", memreg.start_addr, memreg.end_addr,
+ (memreg.prot & PROT_READ) ? 'r' : '-', (memreg.prot & PROT_WRITE) ? 'w' : '-',
+ (memreg.prot & PROT_EXEC) ? 'x' : '-', memreg.pathname.c_str());