Searched refs:guest_cr4 (Results 1 – 1 of 1) sorted by relevance
147 u64 guest_cr4; member388 *value = current_evmcs->guest_cr4; in evmcs_vmread()775 current_evmcs->guest_cr4 = value; in evmcs_vmwrite()