Searched refs:ventry (Results 1 – 4 of 4) sorted by relevance
110 if (PCIbios.ventry == 0) { in pcibios_get_version()115 if (bios32(&args, PCIbios.ventry, GSEL(GCODE_SEL, SEL_KPL))) { in pcibios_get_version()
481 return (bios32(&args, PCIbios.ventry, GSEL(GCODE_SEL, SEL_KPL))); in pci_pir_biosroute()
336 vm_offset_t ventry; /* entrypoint in kernel virtual segment */ member
182 ent->ventry = BIOS_PADDRTOVADDR(ent->base + ent->entry); in bios32_SDlookup()