Searched refs:uncompressed_image_start (Results 1 – 1 of 1) sorted by relevance
272 unsigned long uncompressed_image_start = K_KERNEL_IMAGE_START; in start_kernel() local368 uncompressed_image_start = K_COPY_IMAGE_START; in start_kernel()379 uncompressed_image_start, in start_kernel()383 uncompressed_image_start += K_COPY_IMAGE_SIZE; in start_kernel()388 uncompressed_image_start += PAGE_SIZE; in start_kernel()401 uncompressed_image_start, in start_kernel()404 decompress_kernel((void *)uncompressed_image_start, in start_kernel()434 uncompressed_image_start, in start_kernel()445 (void *)uncompressed_image_start, KERNEL_SIZE); in start_kernel()