Searched refs:vmcs_link_pointer (Results 1 – 1 of 1) sorted by relevance
123 u64 vmcs_link_pointer; member339 *value = current_evmcs->vmcs_link_pointer; in evmcs_vmread()726 current_evmcs->vmcs_link_pointer = value; in evmcs_vmwrite()