vmlinux_len       287 arch/parisc/boot/compressed/misc.c 	unsigned long vmlinux_addr, vmlinux_len;
vmlinux_len       312 arch/parisc/boot/compressed/misc.c 	vmlinux_len = get_unaligned_le32(&output_len);
vmlinux_len       318 arch/parisc/boot/compressed/misc.c 	free_mem_ptr = vmlinux_addr + vmlinux_len;
vmlinux_len       355 arch/parisc/boot/compressed/misc.c 	printf("output_len    = %x\n", vmlinux_len);