vm86_getaddr
addr = vm86_getaddr(&x86bios_vmc, X86BIOS_PHYSTOSEG(offset),
extern vm_offset_t vm86_getaddr(struct vm86context *, u_short, u_short);