HomeSort by: relevance | last modified time | path
    Searched defs: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 in typeref:typename:int
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 in function:efi_boot_kernel
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 493 size_t kernel_size = bmi->bmi_kernelend; local in function:arm32_kernel_vm_init
494 kernel_size -= (bmi->bmi_kernelstart & -L2_S_SEGSIZE);
495 kernel_size += L1_TABLE_SIZE;
496 kernel_size += PAGE_SIZE * KERNEL_L2PT_VMDATA_NUM;
497 kernel_size += PAGE_SIZE * KERNEL_L2PT_KASAN_NUM;
499 kernel_size += PAGE_SIZE; /* L2PT for VECTORS */
502 kernel_size += PAGE_SIZE; /* L2PT for IO */
504 kernel_size +=
507 kernel_size += round_page(MSGBUFSIZE);
508 kernel_size += 0x10000; /* slop *
    [all...]

Completed in 17 milliseconds