Searched refs:tsc_in_khz (Results 1 – 1 of 1) sorted by relevance
132 #define TDX_TSC_KHZ_TO_25MHZ(tsc_in_khz) ((tsc_in_khz) / (25 * 1000)) argument