Searched refs:vminstr (Results 1 – 1 of 1) sorted by relevance
3996 char *vminstr; in dtrace_disx86() local4000 vminstr = "vmcall"; in dtrace_disx86()4003 vminstr = "vmlaunch"; in dtrace_disx86()4006 vminstr = "vmresume"; in dtrace_disx86()4009 vminstr = "vmxoff"; in dtrace_disx86()4015 (void) strncpy(x->d86_mnem, vminstr, OPLEN); in dtrace_disx86()