Searched defs:image_high_addr (Results 1 – 2 of 2) sorted by relevance
33 hwaddr image_high_addr; member
939 uint64_t image_low_addr = 0, image_high_addr = 0; in arm_setup_direct_kernel_boot() local