Searched refs:uncompressed_image_start (Results 1 – 1 of 1) sorted by relevance
271 unsigned long uncompressed_image_start = K_KERNEL_IMAGE_START; in start_kernel() local367 uncompressed_image_start = K_COPY_IMAGE_START; in start_kernel()378 uncompressed_image_start, in start_kernel()382 uncompressed_image_start += K_COPY_IMAGE_SIZE; in start_kernel()387 uncompressed_image_start += PAGE_SIZE; in start_kernel()400 uncompressed_image_start, in start_kernel()403 decompress_kernel((void *)uncompressed_image_start, in start_kernel()433 uncompressed_image_start, in start_kernel()444 (void *)uncompressed_image_start, KERNEL_SIZE); in start_kernel()