/* Get None Cache address according to Cache address.  */
int ATTR_TCM_SECTION L1C_Get_None_Cache_Addr(uintptr_t addr)
/* Get None Cache address according to Cache address.  */
int ATTR_TCM_SECTION L1C_Get_None_Cache_Addr(uintptr_t addr)
{
    return (addr&0x0FFFFFFF)|0x20000000;
}