Searched refs:cr3_target_value0 (Results 1 – 2 of 2) sorted by relevance
104 u64 cr3_target_value0; member463 *value = current_evmcs->cr3_target_value0; in evmcs_vmread()922 current_evmcs->cr3_target_value0 = value; in evmcs_vmwrite()
504 u64 cr3_target_value0; member