Searched refs:kernel_addr (Results 1 – 3 of 3) sorted by relevance
72 uint32_t kernel_addr; /* physical load addr */ member295 uint32_t kernel_addr; /* physical load addr */ member
111 hdr->kernel_addr += base; in mkbootimg()
2222 g_boot_img_hdr.kernel_addr = 0x00008000; in Main()2277 g_boot_img_hdr.kernel_addr = strtoul(optarg, 0, 16); in Main()