Request: invalidate bad synchronous caches; SOC: catch bad index exception