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

  /src/sys/arch/arm/include/arm32/
machdep.h 38 paddr_t bmi_kernelstart; member in struct:bootmem_info
  /src/sys/arch/arm/arm32/
arm32_kvminit.c 264 bmi->bmi_kernelstart = kernelstart;
268 fdt_memory_remove_range(bmi->bmi_kernelstart,
269 bmi->bmi_kernelend - bmi->bmi_kernelstart);
294 if (bmi->bmi_start < bmi->bmi_kernelstart) {
297 pv->pv_size = bmi->bmi_kernelstart - pv->pv_pa;
494 kernel_size -= (bmi->bmi_kernelstart & -L2_S_SEGSIZE);
718 KERN_PHYSTOV(bmi->bmi_kernelstart & -L2_S_SEGSIZE);
781 size_t totalsize = bmi->bmi_kernelend - bmi->bmi_kernelstart;
782 size_t textsize = KERN_VTOPHYS((uintptr_t)etext) - bmi->bmi_kernelstart;
788 text.pv_pa = bmi->bmi_kernelstart;
    [all...]

Completed in 14 milliseconds