/* Increases the count of available controller ACL buffers.  */
void ble_hs_hci_add_avail_pkts(uint16_t delta)
/* Increases the count of available controller ACL buffers.  */
void ble_hs_hci_add_avail_pkts(uint16_t delta)
{
    BLE_HS_DBG_ASSERT(ble_hs_locked_by_cur_task());
    if (ble_hs_hci_avail_pkts + delta > UINT16_MAX) {
        ble_hs_sched_reset(BLE_HS_ECONTROLLER);
    } else {
        ble_hs_hci_avail_pkts += delta;
    }
}