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