Revision 6ee093c9 vl.c

b/vl.c
186 186
static DisplayState *display_state;
187 187
DisplayType display_type = DT_DEFAULT;
188 188
const char* keyboard_layout = NULL;
189
int64_t ticks_per_sec;
189
static int64_t ticks_per_sec;
190 190
ram_addr_t ram_size;
191 191
int nb_nics;
192 192
NICInfo nd_table[MAX_NICS];
......
1032 1032
    }
1033 1033
}
1034 1034

  
1035
int64_t get_ticks_per_sec(void)
1036
{
1037
    return ticks_per_sec;
1038
}
1039

  
1035 1040
static void init_timers(void)
1036 1041
{
1037 1042
    init_get_clock();
......
1110 1115
            delta_cum += delta;
1111 1116
            if (++count == DISP_FREQ) {
1112 1117
                printf("timer: min=%" PRId64 " us max=%" PRId64 " us avg=%" PRId64 " us avg_freq=%0.3f Hz\n",
1113
                       muldiv64(delta_min, 1000000, ticks_per_sec),
1114
                       muldiv64(delta_max, 1000000, ticks_per_sec),
1115
                       muldiv64(delta_cum, 1000000 / DISP_FREQ, ticks_per_sec),
1116
                       (double)ticks_per_sec / ((double)delta_cum / DISP_FREQ));
1118
                       muldiv64(delta_min, 1000000, get_ticks_per_sec()),
1119
                       muldiv64(delta_max, 1000000, get_ticks_per_sec()),
1120
                       muldiv64(delta_cum, 1000000 / DISP_FREQ, get_ticks_per_sec()),
1121
                       (double)get_ticks_per_sec() / ((double)delta_cum / DISP_FREQ));
1117 1122
                count = 0;
1118 1123
                delta_min = INT64_MAX;
1119 1124
                delta_max = 0;

Also available in: Unified diff