1 // SPDX-License-Identifier: GPL-2.0
6 #include <internal/lib.h> // page_size
10 /* On powerpc kernel text segment start at memory addresses, 0xc000000000000000
11 * whereas the modules are located at very high memory addresses,
12 * for example 0xc00800000xxxxxxx. The gap between end of kernel text segment
13 * and beginning of first module's text segment is very high.
14 * Therefore do not fill this gap and do not assign it to the kernel dso map.
17 void arch__symbols__fixup_end(struct symbol *p, struct symbol *c)
19 if (strchr(p->name, '[') == NULL && strchr(c->name, '['))
20 /* Limit the range of last kernel symbol */
24 pr_debug4("%s sym:%s end:%#" PRIx64 "\n", __func__, p->name, p->end);