HomeSort by: relevance | last modified time | path
    Searched defs:bp_end (Results 1 - 4 of 4) sorted by relevancy

  /src/sys/arch/arm/arm32/
arm32_boot.c 278 paddr_t bp_end = bp_start + bp[j].bp_pages; local in function:initarm_common
281 j, ptoa(bp_start), ptoa(bp_end));
283 KASSERT(bp_start < bp_end);
284 if (start >= bp_end || segend < bp_start)
290 if (start < bp_end) {
291 if (segend > bp_end) {
292 segend = bp_end;
arm32_boot.c 278 paddr_t bp_end = bp_start + bp[j].bp_pages; local in function:initarm_common
281 j, ptoa(bp_start), ptoa(bp_end));
283 KASSERT(bp_start < bp_end);
284 if (start >= bp_end || segend < bp_start)
290 if (start < bp_end) {
291 if (segend > bp_end) {
292 segend = bp_end;
  /src/sys/arch/aarch64/aarch64/
aarch64_machdep.c 398 paddr_t bp_end = bp_start + bp[j].bp_pages; local in function:initarm_common
401 j, ptoa(bp_start), ptoa(bp_end));
403 KASSERT(bp_start < bp_end);
404 if (start >= bp_end || segend < bp_start)
410 if (start < bp_end) {
411 if (segend > bp_end) {
412 segend = bp_end;
aarch64_machdep.c 398 paddr_t bp_end = bp_start + bp[j].bp_pages; local in function:initarm_common
401 j, ptoa(bp_start), ptoa(bp_end));
403 KASSERT(bp_start < bp_end);
404 if (start >= bp_end || segend < bp_start)
410 if (start < bp_end) {
411 if (segend > bp_end) {
412 segend = bp_end;

Completed in 24 milliseconds