Searched refs:kernpa_end (Results 1 – 6 of 6) sorted by relevance
47 extern paddr_t kernpa_start, kernpa_end;259 if (kernpa_start == 0 || kernpa_end == 0) { in init_prekern()268 if (kernpa_end % PAGE_SIZE != 0) { in init_prekern()271 if (kernpa_end <= kernpa_start) { in init_prekern()278 if (pa_start < kernpa_end) { in init_prekern()
136 .globl _C_LABEL(kernpa_end)174 .type _C_LABEL(kernpa_end), @object175 LABEL(kernpa_end) .quad 0176 END(kernpa_end)272 popl _C_LABEL(kernpa_end)367 movl _C_LABEL(kernpa_end),%eax
47 extern paddr_t kernpa_start, kernpa_end;363 ASSERT(secpa + secsz <= kernpa_end); in elf_map_sections()
55 extern paddr_t kernpa_start, kernpa_end;
313 paddr_t kernpa_start, kernpa_end; in common_load_prekern() 342 kernpa_end = marks[MARK_END] - loadaddr; in common_load_prekern() 349 bi_prekern.kernpa_end = kernpa_end; in common_load_prekern() 314 paddr_t kernpa_start, kernpa_end; common_load_prekern() local
242 uint32_t kernpa_end; member