Searched refs:__VKI_NUM_ACRS (Results 1 – 1 of 1) sorted by relevance
80 #define __VKI_NUM_ACRS 16 macro114 unsigned int acrs[__VKI_NUM_ACRS];