Searched refs:vminstr (Results 1 – 1 of 1) sorted by relevance
4023 char *vminstr; in dtrace_disx86() local4027 vminstr = "vmcall"; in dtrace_disx86()4030 vminstr = "vmlaunch"; in dtrace_disx86()4033 vminstr = "vmresume"; in dtrace_disx86()4036 vminstr = "vmxoff"; in dtrace_disx86()4042 (void) strncpy(x->d86_mnem, vminstr, OPLEN); in dtrace_disx86()