spitfire_put_dcache_tag
spitfire_put_dcache_tag(start & 0x3fe0, 0x0);
spitfire_put_dcache_tag(va, 0x0);
spitfire_put_dcache_tag(va & 0x3fe0, 0x0);