Searched refs:v86bios_t (Results 1 – 1 of 1) sorted by relevance
93 typedef void v86bios_t(u_int32_t, u_int32_t, u_int32_t, u_int32_t); typedef94 v86bios_t *v86bios = (v86bios_t *)v86int;