bios_sysctl      3287 arch/i386/i386/machdep.c 		return bios_sysctl(name + 1, namelen - 1, oldp, oldlenp,
bios_sysctl       243 arch/i386/include/biosvar.h int bios_sysctl(int *, u_int, void *, size_t *, void *, size_t, struct proc *);