added debug output
properly flush cache page and tlb after marking the page clean