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

  /src/sys/arch/ia64/include/
bootinfo.h 48 uint64_t bi_kernend; /* end of kernel space */ member in struct:bootinfo
  /src/sys/arch/ia64/ia64/
machdep.c 427 bootinfo.bi_kernend = (vaddr_t) round_page((vaddr_t)&end);
498 kernend = (vaddr_t)round_page((vaddr_t)bootinfo.bi_kernend);
500 kernend = (vaddr_t)round_page(bootinfo.bi_kernend);
  /src/sys/arch/ia64/stand/efi/libefi/
bootinfo.c 276 bi->bi_kernend = addr;
  /src/sys/arch/ia64/stand/ia64/ski/
bootinfo.c 273 bi->bi_kernend = addr;

Completed in 12 milliseconds