1/* SPDX-License-Identifier: GPL-2.0 */
2#ifndef _ASM_ARM_SECTIONS_H
3#define _ASM_ARM_SECTIONS_H
4
5#include <asm-generic/sections.h>
6
7extern char _exiprom[];
8
9extern char __idmap_text_start[];
10extern char __idmap_text_end[];
11extern char __entry_text_start[];
12extern char __entry_text_end[];
13
14static inline bool in_entry_text(unsigned long addr)
15{
16	return memory_contains(__entry_text_start, __entry_text_end,
17			       (void *)addr, 1);
18}
19
20static inline bool in_idmap_text(unsigned long addr)
21{
22	void *a = (void *)addr;
23	return memory_contains(__idmap_text_start, __idmap_text_end, a, 1);
24}
25
26#endif	/* _ASM_ARM_SECTIONS_H */
27