kernel_text
extern uint32_t kernel_text[], endboot[];
uint32_t *word = kernel_text;
extern char kernel_text[], _end[];
kernstart = trunc_page((vaddr_t)kernel_text) - 2 * PAGE_SIZE;
extern int kernel_text[], endboot[];
vaddr_t p = (vaddr_t)kernel_text;
extern char kernel_text[];
if (addr >= (vaddr_t) kernel_text && addr < (vaddr_t) etext) {
extern int kernel_text;
resvmem = atop(((vaddr_t)&kernel_text));
extern int kernel_text[], endboot[];
vaddr_t p = (vaddr_t)kernel_text;
extern vaddr_t kernel_text, etext, __rodata_start, erodata, __data_start;
if ((va >= (vaddr_t)&kernel_text && va <= (vaddr_t)&etext) ||
pmap_write_protect(kpm, (vaddr_t)&kernel_text, (vaddr_t)&etext,
extern void *kernel_text, *etext;
if (fault_addr >= (vaddr_t)&kernel_text &&
extern uint32_t kernel_text[], endboot[];
uint32_t *word = kernel_text;
extern char kernel_text[];
else if (ra < (vaddr_t)kernel_text || ra > (vaddr_t)etext)
pc < (vaddr_t)kernel_text || pc >= (vaddr_t)etext)
extern caddr_t kernel_text;
if (va >= trunc_page((vaddr_t)&kernel_text) &&