Searched refs:v86bios_t (Results 1 – 1 of 1) sorted by relevance
91 typedef void v86bios_t(uint32_t, uint32_t, uint32_t, uint32_t); typedef92 v86bios_t *v86bios = (v86bios_t *)v86int;