Searched refs:vmlinux_len (Results 1 – 1 of 1) sorted by relevance
300 unsigned long vmlinux_addr, vmlinux_len; in decompress_kernel() local325 vmlinux_len = punned_get_unaligned_le32(&output_len); in decompress_kernel()331 free_mem_ptr = vmlinux_addr + vmlinux_len; in decompress_kernel()368 printf("output_len = %x\n", vmlinux_len); in decompress_kernel()