From: James Clarke <jrtc27@jrtc27.com> Date: Tue, 25 Oct 2016 16:59:04 +0100 > Thatʼs basically the same as my patch, except this potentially flushes things > outside [start, end) if theyʼre not on 2^22-byte boundaries. Oh yes, I see, thanks for pointing that out. We have to take the index into account for the purposes of virtual address comparison.