Searched refs:cr3_target_value1 (Results 1 – 1 of 1) sorted by relevance
109 u64 cr3_target_value1; member444 *value = current_evmcs->cr3_target_value1; in evmcs_vmread()831 current_evmcs->cr3_target_value1 = value; in evmcs_vmwrite()