vmf_ebx
vmf.vmf_ebx = 0;
} while (vmf.vmf_ebx != 0);
*smi_cmd = vmf.vmf_ebx & 0xff;
*command = (vmf.vmf_ebx >> 16) & 0xff;