Question regarding purging of specific dcache entries