Symbol: is_cpuid_PSE36
arch/x86/kvm/mmu/mmu.c
5324
if (is_cpuid_PSE36())
arch/x86/kvm/mmu/paging_tmpl.h
444
if (walker->level > PG_LEVEL_4K && is_cpuid_PSE36())