static void __attribute__((aligned(32),noinline)) invalidate_way(int way)
{
    CACHEOP = ((way<<31)|0x2);

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

void commit_discard_idcache(void)
{
        invalidate_way(0);
        invalidate_way(1);
}