ehci_get_itd_pool_size
for (i = 0; i < ehci_get_itd_pool_size(); i ++) {
int ehci_get_itd_pool_size();
extern int ehci_get_itd_pool_size();