As you can see, when f_mount is called, the driver calls the function SCB_CleanDCache_by_Addr, and when DCache is enabled, the system fails. If __DCACHE_PRESENT is commented out, this code is not executed, and everything works fine.
It doesn't matter if the issue comes from somewhere else; the point is that even when DCache is disabled in CubeMX, it keeps overwriting the stm32H743xx.h file and uncommenting the line #define __DCACHE_PRESENT 1U, always setting it to 1. When I manually comment out this line, DCache is effectively disabled, and everything works correctly.
I consider this a bug because if I configure CubeMX to disable DCache, but it reactivates the line and sets it to 1 again, it is clearly doing it wrong.
I suppose the issue comes from the fact that defining DCache as present is technically correct, as the CPU does have DCache. However, the problem is that a part of the code calls this function and allows the execution of code that shouldn't run. The root cause is probably in the FATFS driver, but in any case, all the code is generated by CubeMX.
__STATIC_FORCEINLINE void SCB_CleanDCache_by_Addr (uint32_t *addr, int32_t dsize)
{
#if defined (__DCACHE_PRESENT) && (__DCACHE_PRESENT == 1U)
if ( dsize > 0 ) {
int32_t op_size = dsize + (((uint32_t)addr) & (__SCB_DCACHE_LINE_SIZE - 1U));
uint32_t op_addr = (uint32_t)addr /* & ~(__SCB_DCACHE_LINE_SIZE - 1U) */;
__DSB();
do {
SCB->DCCMVAC = op_addr; /* register accepts only 32byte aligned values, only bits 31..5 are valid */
op_addr += __SCB_DCACHE_LINE_SIZE;
op_size -= __SCB_DCACHE_LINE_SIZE;
} while ( op_size > 0 );
__DSB();
__ISB();
}
#endif
}
