Searched refs:VKI_NUM_ACRS (Results 1 – 1 of 1) sorted by relevance
623 #define VKI_NUM_ACRS 16 macro653 unsigned int acrs[VKI_NUM_ACRS];749 unsigned int acrs[VKI_NUM_ACRS];