Searched refs:cr3_target_value0 (Results 1 – 2 of 2) sorted by relevance
110 u64 cr3_target_value0; member443 *value = current_evmcs->cr3_target_value0; in evmcs_vmread()830 current_evmcs->cr3_target_value0 = value; in evmcs_vmwrite()
389 u64 cr3_target_value0; member