Searched refs:vread_pvclock (Results 1 – 1 of 1) sorted by relevance
196 static u64 vread_pvclock(void) in vread_pvclock() function258 return vread_pvclock(); in __arch_get_hw_counter()