Lines Matching refs:VKI_ILL_PRVREG
490 #define VKI_ILL_PRVREG (__VKI_SI_FAULT|6) /* privileged register */
