/* Disable the floating point module. 
Call this function to disable the ARM hardware floating point module. */
void am_hal_sysctrl_fpu_disable(void)
/* Disable the floating point module. 
Call this function to disable the ARM hardware floating point module. */
void am_hal_sysctrl_fpu_disable(void)
{
    AM_REG(SYSCTRL, CPACR) = 0x00000000                     &
                          ~(AM_REG_SYSCTRL_CPACR_CP11(0x3) |
                            AM_REG_SYSCTRL_CPACR_CP10(0x3));
}