Searched refs:vmcs_revision (Results 1 – 2 of 2) sorted by relevance
106 *(uint32_t *)(vmx->vmxon) = vmcs_revision(); in prepare_for_vmx_operation()111 *(uint32_t *)(vmx->vmcs) = vmcs_revision(); in prepare_for_vmx_operation()119 *(uint32_t *)(vmx->shadow_vmcs) = vmcs_revision() | 0x80000000ul; in prepare_for_vmx_operation()
517 static inline uint32_t vmcs_revision(void) in vmcs_revision() function
