| /* SPDX-License-Identifier: GPL-2.0 */ | |
| #ifndef _ASM_X86_SECTIONS_H | |
| #define _ASM_X86_SECTIONS_H | |
| #define arch_is_kernel_initmem_freed arch_is_kernel_initmem_freed | |
| #include <asm-generic/sections.h> | |
| #include <asm/extable.h> | |
| extern char __brk_base[], __brk_limit[]; | |
| extern char __end_rodata_aligned[]; | |
| #if defined(CONFIG_X86_64) | |
| extern char __end_rodata_hpage_align[]; | |
| #endif | |
| extern char __end_of_kernel_reserve[]; | |
| extern unsigned long _brk_start, _brk_end; | |
| static inline bool arch_is_kernel_initmem_freed(unsigned long addr) | |
| { | |
| /* | |
| * If _brk_start has not been cleared, brk allocation is incomplete, | |
| * and we can not make assumptions about its use. | |
| */ | |
| if (_brk_start) | |
| return 0; | |
| /* | |
| * After brk allocation is complete, space between _brk_end and _end | |
| * is available for allocation. | |
| */ | |
| return addr >= _brk_end && addr < (unsigned long)&_end; | |
| } | |
| #endif /* _ASM_X86_SECTIONS_H */ |