Re: [PATCH v9 03/10] set_memory.h: Introduce can_set_direct_map_range()