Searched refs:vmlinux_len (Results 1 – 1 of 1) sorted by relevance
287 unsigned long vmlinux_addr, vmlinux_len; in decompress_kernel() local312 vmlinux_len = get_unaligned_le32(&output_len); in decompress_kernel()318 free_mem_ptr = vmlinux_addr + vmlinux_len; in decompress_kernel()355 printf("output_len = %x\n", vmlinux_len); in decompress_kernel()