clear the TLB properly