Searched refs:kernel_image (Results 1 – 3 of 3) sorted by relevance
62 kernel_image = kernel_asset.fetch()66 return (kernel_image, disk_image, dtb)
173 uint32_t kernel_image, uint32_t kernel_size, in PPC_NVRAM_set_params() argument188 NVRAM_set_lword(nvram, 0x38, kernel_image); in PPC_NVRAM_set_params()
127 uint32_t kernel_image, uint32_t kernel_size, in sun4u_NVRAM_set_params() argument