Searched refs:gdt_debug (Results 1 – 2 of 2) sorted by relevance
206 #define GDT_DPRINTF(mask, args) if (gdt_debug & (mask)) printf args212 extern int gdt_debug;
112 int gdt_debug = GDT_DEBUG; variable