vmf_es
regs->R_ES = vmf->vmf_es;
vmf->vmf_es = regs->R_ES;
res = vm86_getptr(&vmc, (vm_offset_t)smap, &vmf.vmf_es, &vmf.vmf_di);