Searched refs:cr4_read_shadow (Results 1 – 1 of 1) sorted by relevance
144 u64 cr4_read_shadow; member381 *value = current_evmcs->cr4_read_shadow; in evmcs_vmread()768 current_evmcs->cr4_read_shadow = value; in evmcs_vmwrite()