Searched refs:guest_pdptr3 (Results 1 – 1 of 1) sorted by relevance
132 u64 guest_pdptr3; member358 *value = current_evmcs->guest_pdptr3; in evmcs_vmread()745 current_evmcs->guest_pdptr3 = value; in evmcs_vmwrite()