Searched refs:kernel_size (Results 1 – 1 of 1) sorted by relevance
913 uint64_t kernel_size; in plat_mem_setup() local1025 kernel_size = _end - _text; in plat_mem_setup()1029 add_memory_region(kernel_start, kernel_size, BOOT_MEM_RAM); in plat_mem_setup()