Searched refs:__get_current_cr3_fast (Results 1 – 2 of 2) sorted by relevance
329 static inline unsigned long __get_current_cr3_fast(void) in __get_current_cr3_fast() function
10689 cr3 = __get_current_cr3_fast(); in vmx_vcpu_run()
