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