Searched refs:driverptr (Results 1 – 1 of 1) sorted by relevance
765 uint32_t driverptr, driveraddr; in setup() local1036 driverptr = driverseg << 16; in setup()1057 pptr->mdi.oldint13.uint32 = driverptr + hptr->iret_offs; in setup()1191 wrz_32(BIOS_INT13, driverptr + hptr->int13_offs); in setup()1192 wrz_32(BIOS_INT15, driverptr + hptr->int15_offs); in setup()1194 wrz_32(BIOS_INT1E, driverptr + pptr->mdi.dpt_ptr); in setup()