Lines Matching refs:image
26 3. Decompress the kernel image
27 4. Call the kernel image
56 3. Decompress the kernel image
68 4. Call the kernel image
73 The decompressed kernel image contains a 64-byte header as follows:
116 end of the kernel image. The amount of space required will vary
124 image has no special significance to the kernel, and may be used for
126 At least image_size bytes from the start of the image must be free for
130 image) which is not marked as reserved from the kernel (e.g., with a
155 The address range corresponding to the loaded kernel image must be
178 the kernel image will be entered must be initialised by software at a
206 kernel image. The device tree blob passed by this CPU must contain