Searched refs:vmc_table_exit (Results 1 – 4 of 4) sorted by relevance
62 void vmc_table_exit(vm_client_t *);
1126 vmc_table_exit(vm_client_t *vmc) in vmc_table_exit() function
2039 vmc_table_exit(vmc); in svm_vmrun()
2946 vmc_table_exit(vmc); in vmx_run()