*/
 #define X86_BUG(x)             (NCAPINTS*32 + (x))
 
+#define X86_BUG_F00F           X86_BUG(0) /* Intel F00F */
+
 #if defined(__KERNEL__) && !defined(__ASSEMBLY__)
 
 #include <asm/asm.h>
 
        char                    hard_math;
        char                    rfu;
        char                    fdiv_bug;
-       char                    f00f_bug;
        char                    coma_bug;
        char                    pad0;
 #else
 
         * system.
         * Note that the workaround only should be initialized once...
         */
-       c->f00f_bug = 0;
+       clear_cpu_bug(c, X86_BUG_F00F);
        if (!paravirt_enabled() && c->x86 == 5) {
                static int f00f_workaround_enabled;
 
-               c->f00f_bug = 1;
+               set_cpu_bug(c, X86_BUG_F00F);
                if (!f00f_workaround_enabled) {
                        trap_init_f00f_bug();
                        printk(KERN_NOTICE "Intel Pentium with F0 0F bug - workaround enabled.\n");
 
                   "cpuid level\t: %d\n"
                   "wp\t\t: %s\n",
                   c->fdiv_bug ? "yes" : "no",
-                  c->f00f_bug ? "yes" : "no",
+                  static_cpu_has_bug(X86_BUG_F00F) ? "yes" : "no",
                   c->coma_bug ? "yes" : "no",
                   c->hard_math ? "yes" : "no",
                   c->hard_math ? "yes" : "no",
 
        /*
         * Pentium F0 0F C7 C8 bug workaround:
         */
-       if (boot_cpu_data.f00f_bug) {
+       if (boot_cpu_has_bug(X86_BUG_F00F)) {
                nr = (address - idt_descr.address) >> 3;
 
                if (nr == 6) {