void free_domain_tlb(struct vcpu *v) { if (v->arch.vtlb.hash) thash_free(&(v->arch.vtlb)); free_domain_vhpt(v); }
/**************************** utility functions */ void free_client(void *ptr) { struct client *client = ptr; thash_free(client->servers); }
static void free_domain_vhpt(struct vcpu *v) { if (v->arch.vhpt.hash) thash_free(&(v->arch.vhpt)); }
static void cleanup() { lfc_deinit(fd->lfc); thash_free(fd->out_files); mmatic_destroy(fd->mm); }