Searched refs:ANDROID_IMAGE_DEFAULT_KERNEL_ADDR (Results 1 – 1 of 1) sorted by relevance
32 #define ANDROID_IMAGE_DEFAULT_KERNEL_ADDR 0x10008000 macro160 if (hdr->kernel_addr == ANDROID_IMAGE_DEFAULT_KERNEL_ADDR) in android_image_get_kernel_addr()1151 hdr->kernel_addr = ANDROID_IMAGE_DEFAULT_KERNEL_ADDR; in populate_boot_info()