/* GCC version not support t-head cache flush, so we use fixed code to achieve. The following function cannot be optimized.  */
static void dcache_wb_range(unsigned long start, unsigned long end) __attribute__((optimize("O0")))
/* GCC version not support t-head cache flush, so we use fixed code to achieve. The following function cannot be optimized.  */
static void dcache_wb_range(unsigned long start, unsigned long end) __attribute__((optimize("O0")))
{
    CACHE_OP_RANGE(OPC_DCACHE_CVA(CACHE_OP_RS1));
}