Searched refs:cr3_target_value0 (Results 1 – 1 of 1) sorted by relevance
108 u64 cr3_target_value0; member439 *value = current_evmcs->cr3_target_value0; in evmcs_vmread()826 current_evmcs->cr3_target_value0 = value; in evmcs_vmwrite()