Searched refs:__get_current_cr3_fast (Results 1 – 4 of 4) sorted by relevance
215 unsigned long __get_current_cr3_fast(void);
971 unsigned long __get_current_cr3_fast(void) in __get_current_cr3_fast() function982 EXPORT_SYMBOL_GPL(__get_current_cr3_fast);
3073 cr3 = __get_current_cr3_fast(); in nested_vmx_check_vmentry_hw()
6809 cr3 = __get_current_cr3_fast(); in vmx_vcpu_run()