__vmap_pages_range_noflush
int __must_check __vmap_pages_range_noflush(unsigned long addr,
mapped = __vmap_pages_range_noflush(
mapped = __vmap_pages_range_noflush(
mapped = __vmap_pages_range_noflush(shadow_start, shadow_end, prot,
mapped = __vmap_pages_range_noflush(origin_start, origin_end, prot,
return __vmap_pages_range_noflush(addr, end, prot, pages, page_shift);