Searched refs:vminstr (Results 1 – 1 of 1) sorted by relevance
4964 char *vminstr; in dtrace_disx86() local4968 vminstr = "vmcall"; in dtrace_disx86()4971 vminstr = "vmlaunch"; in dtrace_disx86()4974 vminstr = "vmresume"; in dtrace_disx86()4977 vminstr = "vmxoff"; in dtrace_disx86()4983 (void) strncpy(x->d86_mnem, vminstr, OPLEN); in dtrace_disx86()