vmbus_rxbr_need_signal
vmbus_rxbr_need_signal(rbr, idx_adv +
vmbus_rxbr_need_signal(rbr, idx_adv + sizeof(uint64_t));
vmbus_rxbr_need_signal(rbr,