Searched refs:VKI_NUM_ACRS (Results 1 – 1 of 1) sorted by relevance
650 #define VKI_NUM_ACRS 16 macro680 unsigned int acrs[VKI_NUM_ACRS];776 unsigned int acrs[VKI_NUM_ACRS];