Searched refs:has_f00f_bug (Results 1 – 4 of 4) sorted by relevance
41 extern int has_f00f_bug;
179 int has_f00f_bug = 0; /* Initialized so that it can be patched. */ variable804 if ((eva == (unsigned int)&idt[6]) && has_f00f_bug) { in trap_pfault()
2715 if (!has_f00f_bug) in f00f_hack()
349 has_f00f_bug = 1; in printcpuinfo()