VMMIOSTR
if (strstr(xen_start_info.cmd_line, VMMIOSTR) == NULL)
int keylen = strlen(VMMIOSTR);
parg = strstr(cmdline, VMMIOSTR);
next = strstr(next, VMMIOSTR);