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

  /src/sys/arch/pmax/stand/smallnet/
smallnet.c 57 int kernel_size = 0 /* 387321 */ /* XXX XXX XXX */; variable
96 printf("Decompressing %d bytes to 0x%lx\n", kernel_size,
99 kernel_size);
  /src/sys/stand/efiboot/bootaa64/
efibootaa64.c 51 u_long kernel_start, kernel_size, kernel_entry; local
55 kernel_size = marks[MARK_END] - kernel_start;
60 aarch64_dcache_wbinv_range(kernel_start, kernel_size);
  /src/sys/arch/arm/arm32/
arm32_kvminit.c 490 size_t kernel_size = bmi->bmi_kernelend; local
491 kernel_size -= (bmi->bmi_kernelstart & -L2_S_SEGSIZE);
492 kernel_size += L1_TABLE_SIZE;
493 kernel_size += PAGE_SIZE * KERNEL_L2PT_VMDATA_NUM;
494 kernel_size += PAGE_SIZE * KERNEL_L2PT_KASAN_NUM;
496 kernel_size += PAGE_SIZE; /* L2PT for VECTORS */
499 kernel_size += PAGE_SIZE; /* L2PT for IO */
501 kernel_size +=
504 kernel_size += round_page(MSGBUFSIZE);
505 kernel_size += 0x10000; /* slop *
    [all...]

Completed in 19 milliseconds