Searched refs:cr3_target_value3 (Results 1 – 2 of 2) sorted by relevance
113 u64 cr3_target_value3; member452 *value = current_evmcs->cr3_target_value3; in evmcs_vmread()839 current_evmcs->cr3_target_value3 = value; in evmcs_vmwrite()
392 u64 cr3_target_value3; member