Searched refs:cr4_flag_bits (Results 1 – 1 of 1) sorted by relevance
905 static const mdb_bitmask_t cr4_flag_bits[] = { in crregs_dcmd() local927 mdb_printf("%%cr4 = 0x%08x <%b>\n", cr4, cr4, cr4_flag_bits); in crregs_dcmd()