array_map_vmalloc_addr
bpf_map_area_free(array_map_vmalloc_addr(array));
return remap_vmalloc_range(vma, array_map_vmalloc_addr(array),