Searched refs:FPSID (Results 1 – 2 of 2) sorted by relevance
| /xen/xen/arch/arm/arm32/ | ||
| A D | vfp.c | 71 vfpsid = READ_CP32(FPSID); in vfp_init() |
| /xen/xen/include/asm-arm/ | ||
| A D | cpregs.h | 63 #define FPSID p10,7,c0,c0,0 /* Floating-Point System ID Register */ macro |
Completed in 5 milliseconds