Searched refs:cr3_target_value3 (Results 1 – 1 of 1) sorted by relevance
111 u64 cr3_target_value3; member448 *value = current_evmcs->cr3_target_value3; in evmcs_vmread()835 current_evmcs->cr3_target_value3 = value; in evmcs_vmwrite()