/* Enable the floating point module. 
Call this function to enable the ARM hardware floating point module. */
void am_hal_sysctrl_fpu_enable(void)
/* Enable the floating point module. 
Call this function to enable the ARM hardware floating point module. */
void am_hal_sysctrl_fpu_enable(void)
{
    AM_REG(SYSCTRL, CPACR) = (AM_REG_SYSCTRL_CPACR_CP11(0x3) |
                             AM_REG_SYSCTRL_CPACR_CP10(0x3));
}