Searched refs:vminstr (Results 1 – 1 of 1) sorted by relevance
5459 char *vminstr; in dtrace_disx86() local5463 vminstr = "vmcall"; in dtrace_disx86()5466 vminstr = "vmlaunch"; in dtrace_disx86()5469 vminstr = "vmresume"; in dtrace_disx86()5472 vminstr = "vmxoff"; in dtrace_disx86()5478 (void) strncpy(x->d86_mnem, vminstr, OPLEN); in dtrace_disx86()