Symbol: __cr4_reserved_bits
arch/x86/kvm/cpuid.c
453
vcpu->arch.cr4_guest_rsvd_bits = __cr4_reserved_bits(__kvm_cpu_cap_has, UNUSED_) |
arch/x86/kvm/cpuid.c
454
__cr4_reserved_bits(guest_cpu_cap_has, vcpu);
arch/x86/kvm/x86.c
10032
if (__cr4_reserved_bits(cpu_has, c) !=
arch/x86/kvm/x86.c
10033
__cr4_reserved_bits(cpu_has, &boot_cpu_data))