| 35 | } |
| 36 | |
| 37 | static void flash_set_mask(void) { |
| 38 | uint32_t value = flash.maskReg[0] |
| 39 | | flash.maskReg[1] << 8 |
| 40 | | flash.maskReg[2] << 16 |
| 41 | | flash.maskReg[3] << 24; |
| 42 | flash.mask = ~value & (SIZE_FLASH - 1); |
| 43 | } |
| 44 | |
| 45 | void flash_flush_cache(void) { |
| 46 | /* Flush only if the cache has been used since the last flush */ |
no outgoing calls
no test coverage detected