Searched refs:__get_current_cr3_fast (Results 1 – 4 of 4) sorted by relevance
219 unsigned long __get_current_cr3_fast(void);
1074 unsigned long __get_current_cr3_fast(void) in __get_current_cr3_fast() function1085 EXPORT_SYMBOL_GPL(__get_current_cr3_fast);
3070 cr3 = __get_current_cr3_fast(); in nested_vmx_check_vmentry_hw()
6660 cr3 = __get_current_cr3_fast(); in vmx_vcpu_run()
