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