Searched refs:vmx_revision (Results 1 – 3 of 3) sorted by relevance
45 uint32_t vmx_revision(void);
64 vmx_revision(void) in vmx_revision() function
648 *(uint32_t *)vmxon_region[curcpu] = vmx_revision(); in vmx_enable()1102 vmcs->identifier = vmx_revision(); in vmx_init()