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();
}