Searched refs:__VKI_NUM_GPRS (Results 1 – 1 of 1) sorted by relevance
78 #define __VKI_NUM_GPRS 16 macro113 unsigned long gprs[__VKI_NUM_GPRS];