CCID_BULK_NALLOCED
while (ccid->ccid_bulkin_alloced < CCID_BULK_NALLOCED) {
for (i = 0; i < CCID_BULK_NALLOCED; i++) {
usb_bulk_req_t *ccid_bulkin_cache[CCID_BULK_NALLOCED];