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

  /src/sys/arch/arm/include/arm32/
machdep.h 39 paddr_t bmi_kernelend; member in struct:bootmem_info
  /src/sys/arch/arm/arm32/
arm32_kvminit.c 265 bmi->bmi_kernelend = kernelend;
269 bmi->bmi_kernelend - bmi->bmi_kernelstart);
282 pv->pv_pa = bmi->bmi_kernelend;
284 pv->pv_size = bmi->bmi_end - bmi->bmi_kernelend;
493 size_t kernel_size = bmi->bmi_kernelend;
781 size_t totalsize = bmi->bmi_kernelend - bmi->bmi_kernelstart;
  /src/sys/arch/cats/cats/
cats_machdep.c 341 KASSERTMSG(pv0->pv_pa == bmi->bmi_kernelend,
342 "pv_pa %#lx kernelend %#lx", pv0->pv_pa, bmi->bmi_kernelend);

Completed in 53 milliseconds