Searched refs:ept_update_paging_mode_cr0 (Results 1 – 1 of 1) sorted by relevance
2976 static void ept_update_paging_mode_cr0(unsigned long *hw_cr0, in ept_update_paging_mode_cr0() function3030 ept_update_paging_mode_cr0(&hw_cr0, cr0, vcpu); in vmx_set_cr0()
