void machdep_init (void)

void machdep_init (void)

{

{

    rpt_available = 1;

    rpt_available = 1;

    write_log ("Calibrating delay loop.. ");

    write_log ("Calibrating delay loop.. ");

    fflush(stderr);

    fflush(stderr);

    write_log ("ok - %d\n",best_time/loops_to_go);

    write_log ("ok - %d\n",best_time/loops_to_go);

    last_time = read_processor_time();

    last_time = read_processor_time();

    best_time = read_processor_time()-last_time;

    best_time = read_processor_time()-last_time;

}

}