Symbol: biosgetsystime
sys/arch/i386/stand/lib/libi386.h
126
int biosgetsystime(void);
sys/arch/i386/stand/lib/pcio.c
73
int prev = biosgetsystime();
sys/arch/i386/stand/lib/pcio.c
77
while ((new = biosgetsystime()) < tgt) {