Home | History | Annotate | Download | only in usbloader

Lines Matching defs:kernel_addr

80 unsigned kernel_addr = 0x10008000;
172     void (*entry)(unsigned,unsigned,unsigned) = (void*) kernel_addr;
185 /* convert a boot_image at kernel_addr into a kernel + ramdisk + tags */
188     boot_img_hdr *hdr = (void*) kernel_addr;
223     kernel_addr = hdr->kernel_addr;
227             kernel_addr, kernel_size);
235     memcpy((void*) kernel_addr,
391         rx_addr = kernel_addr;
446             if(memcmp((void*) kernel_addr, BOOT_MAGIC, BOOT_MAGIC_SIZE)) {
455             compute_digest((void*) kernel_addr, kernel_size, digest);
473         if(flash_write(ptn, extra, (void*) kernel_addr, kernel_size)) {
506         memcpy(signature, (void*)kernel_addr, SIGNATURE_SIZE);