terminate_vm
terminate_vm(res->id, res->name, res->flags);
void terminate_vm(uint32_t, const char *, unsigned int);
(void)terminate_vm(&vtp);
if (terminate_vm(&vtp) == 0)
(void)terminate_vm(&vtp);
int terminate_vm(struct vm_terminate_params *);
if ((ret = terminate_vm(&vtp)) != 0)