decompress_kernel
decompress_kernel((void *)uncompressed_image_start,
extern int decompress_kernel(void* destination, void *source,
decompress_kernel(unsigned long output_start, unsigned long free_mem_ptr_p,
void decompress_kernel(unsigned long boot_heap_start);
void decompress_kernel(void);
entry_offset = decompress_kernel(output, virt_addr, error);
unsigned long decompress_kernel(unsigned char *outbuf, unsigned long virt_addr,
entry = decompress_kernel((void *)addr, virt_addr, error);