1052 	struct hv_per_cpu_context *hv_cpu = (void *)data;  in vmbus_on_msg_dpc()  local
1053 	void *page_addr = hv_cpu->synic_message_page;  in vmbus_on_msg_dpc()
1214 static void vmbus_chan_sched(struct hv_per_cpu_context *hv_cpu)  in vmbus_chan_sched()  argument
1228 		void *page_addr = hv_cpu->synic_event_page;  in vmbus_chan_sched()
1305 	struct hv_per_cpu_context *hv_cpu  in vmbus_isr()  local
1307 	void *page_addr = hv_cpu->synic_event_page;  in vmbus_isr()
1340 		vmbus_chan_sched(hv_cpu);  in vmbus_isr()
1342 	page_addr = hv_cpu->synic_message_page;  in vmbus_isr()
1351 			tasklet_schedule(&hv_cpu->msg_dpc);  in vmbus_isr()
2672 		struct hv_per_cpu_context *hv_cpu  in vmbus_exit()  local
2675 		tasklet_kill(&hv_cpu->msg_dpc);  in vmbus_exit()