Searched refs:VKI_NUM_FPRS (Results 1 – 1 of 1) sorted by relevance
648 #define VKI_NUM_FPRS 16 macro667 vki_freg_t fprs[VKI_NUM_FPRS];