4 ms·

Good point, yes. As mentioned in a sibling comment, even 4k for one page of really allocated memory is significant.