Searched refs:vmcs_initialize (Results 1 – 3 of 3) sorted by relevance
217 vmcs_initialize(struct vmcs *vmcs, uintptr_t vmcs_pa) in vmcs_initialize() function
51 void vmcs_initialize(struct vmcs *vmcs, uintptr_t vmcs_pa);
791 vmcs_initialize(&vmx->vmcs[i], vmx->vmcs_pa[i]); in vmx_vminit()