Searched refs:save_windex (Results 1 – 1 of 1) sorted by relevance
125 uint64_t save_windex; in vmbus_txbr_write() local131 total += sizeof(save_windex); in vmbus_txbr_write()160 save_windex = ((uint64_t)old_windex) << 32; in vmbus_txbr_write()161 windex = vmbus_txbr_copyto(tbr, windex, &save_windex, in vmbus_txbr_write()162 sizeof(save_windex)); in vmbus_txbr_write()