Searched refs:guest_pdptr0 (Results 1 – 1 of 1) sorted by relevance
129 u64 guest_pdptr0; member351 *value = current_evmcs->guest_pdptr0; in evmcs_vmread()738 current_evmcs->guest_pdptr0 = value; in evmcs_vmwrite()