__get_current_cr3_fast 2849 arch/x86/kvm/vmx/nested.c 	cr3 = __get_current_cr3_fast();
__get_current_cr3_fast 6511 arch/x86/kvm/vmx/vmx.c 	cr3 = __get_current_cr3_fast();