Verified ((exclusive)): Reset L4260