Searched refs:__get_current_cr3_fast (Results 1 – 3 of 3) sorted by relevance
348 static inline unsigned long __get_current_cr3_fast(void) in __get_current_cr3_fast() function
2838 cr3 = __get_current_cr3_fast(); in nested_vmx_check_vmentry_hw()
6522 cr3 = __get_current_cr3_fast(); in vmx_vcpu_run()
