Searched refs:VKI_ISDN_MAX_CHANNELS (Results 1 – 2 of 2) sorted by relevance
1620 #define VKI_ISDN_MAX_CHANNELS 64 macro
5735 VKI_ISDN_MAX_CHANNELS * 2 * sizeof(unsigned long) ); in PRE()8622 POST_MEM_WRITE( ARG3, VKI_ISDN_MAX_CHANNELS * 2 * sizeof(unsigned long) ); in POST()