/* The following rounding modes are available (as specified by  */
void FPURoundingModeSet(uint32_t ui32Mode)
/* The following rounding modes are available (as specified by  */
void FPURoundingModeSet(uint32_t ui32Mode)
{
    HWREG(NVIC_FPDSC) = (HWREG(NVIC_FPDSC) & ~(NVIC_FPDSC_RMODE_M)) | ui32Mode;
}