Searched refs:v86bios (Results 1 – 1 of 1) sorted by relevance
92 v86bios_t *v86bios = (v86bios_t *)v86int; variable288 v86bios(args[0], args[1], args[2], args[3]); in biospnp_call()