Lines Matching refs:vinstr
4038 char *vinstr;4042 vinstr = "vmrun";4045 vinstr = "vmmcall";4048 vinstr = "vmload";4051 vinstr = "vmsave";4054 vinstr = "stgi";4057 vinstr = "clgi";4060 vinstr = "skinit";4063 vinstr = "invlpga";4067 (void) strncpy(x->d86_mnem, vinstr, OPLEN);