Searched refs:FPSID (Results 1 – 2 of 2) sorted by relevance
71 vfpsid = READ_CP32(FPSID); in vfp_init()
65 #define FPSID p10,7,c0,c0,0 /* Floating-Point System ID Register */ macro
Completed in 4 milliseconds