x86bios_offset
p = x86bios_offset(offset);
void *x86bios_offset(uint32_t offset);
vesa_adp->va_window = (vm_offset_t)x86bios_offset(info.vi_window);
str = x86bios_offset(BIOS_SADDRTOLADDR(src)); \
vesa_vmodetab = x86bios_offset(BIOS_SADDRTOLADDR(buf->v_modetable));