85 void alloc_dtl_buffers(unsigned long *time_limit)  in alloc_dtl_buffers()  argument
110 		if (time_limit && time_after(jiffies, *time_limit)) {  in alloc_dtl_buffers()
112 			*time_limit = jiffies + HZ;  in alloc_dtl_buffers()
183 static void free_dtl_buffers(unsigned long *time_limit)  in free_dtl_buffers()  argument
199 		if (time_limit && time_after(jiffies, *time_limit)) {  in free_dtl_buffers()
201 			*time_limit = jiffies + HZ;  in free_dtl_buffers()
462 static int dtl_worker_enable(unsigned long *time_limit)  in dtl_worker_enable()  argument
474 	alloc_dtl_buffers(time_limit);  in dtl_worker_enable()
480 		free_dtl_buffers(time_limit);  in dtl_worker_enable()
492 static void dtl_worker_disable(unsigned long *time_limit)  in dtl_worker_disable()  argument
495 	free_dtl_buffers(time_limit);  in dtl_worker_disable()
503 	unsigned long time_limit = jiffies + HZ;  in vcpudispatch_stats_write()  local
540 		rc = dtl_worker_enable(&time_limit);  in vcpudispatch_stats_write()
546 		dtl_worker_disable(&time_limit);  in vcpudispatch_stats_write()