Symbol: invalidate_kernel_vmap_range