Re: [PATCH v19 3/8] set_memory: allow set_direct_map_*_noflush() for multiple pages