Searched refs:kernel_addr (Results 1 – 4 of 4) sorted by relevance
34 uint32_t kernel_addr; /* physical load addr */ member
62 uint32_t kernel_addr; /* physical load addr */ member
66 hdr->kernel_addr += base; in mkbootimg()
1602 g_boot_img_hdr.kernel_addr = 0x00008000; in Main()1659 g_boot_img_hdr.kernel_addr = strtoul(optarg, 0, 16); in Main()