Searched refs:wrz_32 (Results 1 – 2 of 2) sorted by relevance
38 static inline void wrz_32(uint32_t addr, uint32_t data) in wrz_32() function
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()