Searched refs:vinstr (Results 1 – 1 of 1) sorted by relevance
4995 char *vinstr; in dtrace_disx86() local4999 vinstr = "vmrun"; in dtrace_disx86()5002 vinstr = "vmmcall"; in dtrace_disx86()5005 vinstr = "vmload"; in dtrace_disx86()5008 vinstr = "vmsave"; in dtrace_disx86()5011 vinstr = "stgi"; in dtrace_disx86()5014 vinstr = "clgi"; in dtrace_disx86()5017 vinstr = "skinit"; in dtrace_disx86()5020 vinstr = "invlpga"; in dtrace_disx86()5024 (void) strncpy(x->d86_mnem, vinstr, OPLEN); in dtrace_disx86()