+#ifdef CONFIG_VFP_OPT
+ ldr r10, =(0xF << 20)
+ mcr p15, 0, r10, c1, c0, 2
+ VFPFMRX r10, FPEXC @ Is the VFP enabled?
+ orr r10, r10, #FPEXC_EN @ user FPEXC has the enable bit set
+ bic r10, r10, #FPEXC_EX @ make sure exceptions are disabled
+ VFPFMXR FPEXC, r10 @ enable VFP, disable any pending
+ @ exceptions, so we can get at the
+ @ rest of it
+#endif
+