send_int_page     216 drivers/hv/connection.c 	vmbus_connection.send_int_page =
send_int_page     238 drivers/hv/hyperv_vmbus.h 	void *send_int_page;
send_int_page     305 drivers/hv/hyperv_vmbus.h 	sync_set_bit(relid, vmbus_connection.send_int_page);