// SPDX-License-Identifier: GPL-2.0-only extern char __data_loc[]; extern char _edata_loc[]; extern char _sdata[]; int __init __inflate_kernel_data(void);