312                                   flash_user_margin_value_t margin);
318                                      flash_factory_margin_value_t margin);
1300 status_t FLASH_VerifyEraseAll(flash_config_t *config, flash_margin_value_t margin)  in FLASH_VerifyEraseAll()  argument
1310     if ((uint32_t)margin != config->PFlashMarginLevel)  in FLASH_VerifyEraseAll()
1312         switch (margin)  in FLASH_VerifyEraseAll()
1329         config->PFlashMarginLevel = (uint32_t)margin;  in FLASH_VerifyEraseAll()
1336     if ((uint32_t)margin != config->PFlashMarginLevel)  in FLASH_VerifyEraseAll()
1338         switch (margin)  in FLASH_VerifyEraseAll()
1355         config->PFlashMarginLevel = (uint32_t)margin;  in FLASH_VerifyEraseAll()
1404 …yErase(flash_config_t *config, uint32_t start, uint32_t lengthInBytes, flash_margin_value_t margin)  in FLASH_VerifyErase()  argument
1449         if ((uint32_t)margin != config->PFlashMarginLevel)  in FLASH_VerifyErase()
1451             switch (margin)  in FLASH_VerifyErase()
1466             config->PFlashMarginLevel = (uint32_t)margin;  in FLASH_VerifyErase()
2559                                   flash_user_margin_value_t margin)  in flash_setusermarginlevel()  argument
2567     marginValue = (uint32_t)margin;  in flash_setusermarginlevel()
2597                                      flash_factory_margin_value_t margin)  in flash_setfactorymarginlevel()  argument
2606     marginValue = (uint32_t)margin;  in flash_setfactorymarginlevel()