Searched refs:this_tsc_khz (Results 1 – 1 of 1) sorted by relevance
1948 u32 this_tsc_khz = vcpu->arch.virtual_tsc_khz; in start_sw_tscdeadline() local1952 if (unlikely(!tscdeadline || !this_tsc_khz)) in start_sw_tscdeadline()1961 do_div(ns, this_tsc_khz); in start_sw_tscdeadline()