Searched refs:vminstr (Results 1 – 1 of 1) sorted by relevance
3562 char *vminstr; in dtrace_disx86() local3566 vminstr = "vmcall"; in dtrace_disx86()3569 vminstr = "vmlaunch"; in dtrace_disx86()3572 vminstr = "vmresume"; in dtrace_disx86()3575 vminstr = "vmxoff"; in dtrace_disx86()3581 (void) strncpy(x->d86_mnem, vminstr, OPLEN); in dtrace_disx86()