x86bios_match_device
int x86bios_match_device(uint32_t offset, device_t dev);
if (x86bios_match_device(0xc0000, device_get_parent(parent)))
x86bios_match_device(vesa_bios_offs, devs[i])) {