vm86_addpage
vm86_addpage(&x86bios_vmc, atop(*offset) + i,
smap = (void *)vm86_addpage(&vmc, 1, PMAP_MAP_LOW + ptoa(1));
extern vm_offset_t vm86_addpage(struct vm86context *, int, vm_offset_t);