linux/arch/arm/kernel/head.h

// SPDX-License-Identifier: GPL-2.0-only

extern char __data_loc[];
extern char _edata_loc[];
extern char _sdata[];

int __init __inflate_kernel_data(void);