static void __attribute__((aligned(32),noinline)) invalidate_way0(void)
{
    /* invalidate cache way 0 */
    CACHEOP = 0x02;

    /* wait for invalidate process to complete */
    while (CACHEOP & 0x03);
}

static void __attribute__ ((aligned(32),noinline)) invalidate_way1(void)
{
    /* invalidate cache way 1 */
    CACHEOP = 0x80000002;

    /* wait for invalidate process to complete */
    while (CACHEOP & 0x03);
}


void commit_discard_idcache(void)
{
    invalidate_way0();
    invalidate_way1();
}