Searched refs:__VKI_NUM_FPRS (Results 1 – 1 of 1) sorted by relevance
79 #define __VKI_NUM_FPRS 16 macro120 double fprs[__VKI_NUM_FPRS];