Searched refs:vmx_getcap (Results 1 – 1 of 1) sorted by relevance
3524 vmx_getcap(void *vcpui, int type, int *retval) in vmx_getcap() function4280 .getcap = vmx_getcap,