LA57              367 arch/x86/kvm/cpuid.c 		F(AVX512VBMI) | F(LA57) | 0 /*PKU*/ | 0 /*OSPKE*/ | F(RDPID) |
LA57              391 arch/x86/kvm/cpuid.c 		f_la57 = entry->ecx & F(LA57);