Lines Matching defs: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);
Indexes created Thu Sep 10 00:26:39 UTC 2026