Searched refs:read_tsc (Results 1 – 1 of 1) sorted by relevance
120 u64 (*read_tsc)(void); member600 return PVOP_CALL0(u64, pv_cpu_ops.read_tsc); in paravirt_read_tsc()