Searched refs:save_windex (Results 1 – 1 of 1) sorted by relevance
114 uint64_t save_windex; in vmbus_txbr_write() local120 total += sizeof(save_windex); in vmbus_txbr_write()151 save_windex = ((uint64_t)old_windex) << 32; in vmbus_txbr_write()152 windex = vmbus_txbr_copyto(tbr, windex, &save_windex, in vmbus_txbr_write()153 sizeof(save_windex)); in vmbus_txbr_write()