Searched refs:cr4_guest_host_mask (Results 1 – 1 of 1) sorted by relevance
142 u64 cr4_guest_host_mask; member375 *value = current_evmcs->cr4_guest_host_mask; in evmcs_vmread()762 current_evmcs->cr4_guest_host_mask = value; in evmcs_vmwrite()