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