GDT_DPRINTF
#define GDT_DPRINTF(mask, args) if (gdt_debug & (mask)) printf args
#define GDT_DPRINTF(mask, args)