Searched refs:guest_pdptr1 (Results 1 – 1 of 1) sorted by relevance
130 u64 guest_pdptr1; member354 *value = current_evmcs->guest_pdptr1; in evmcs_vmread()741 current_evmcs->guest_pdptr1 = value; in evmcs_vmwrite()