vmcs_initialize
void vmcs_initialize(struct vmcs *vmcs, uintptr_t vmcs_pa);
vmcs_initialize(&vmx->vmcs[i], vmx->vmcs_pa[i]);