Lazy cache flushing on non-mapped pages