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