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