cpu_wbinvd 30 arch/x86/kernel/paravirt_patch.c const unsigned char cpu_wbinvd[2]; cpu_wbinvd 48 arch/x86/kernel/paravirt_patch.c .cpu_wbinvd = { 0x0f, 0x09 }, // wbinvd