Searched refs:precalibrated_tsc_khz (Results 1 – 1 of 1) sorted by relevance
32 static unsigned int precalibrated_tsc_khz; variable72 return precalibrated_tsc_khz; in jailhouse_get_tsc()256 precalibrated_tsc_khz = setup_data.v1.tsc_khz; in jailhouse_init_platform()