Searched refs:boot_base (Results 1 – 1 of 1) sorted by relevance
775 uint32_t boot_base, rm_base; in setup() local1201 boot_base = 0x7c00; in setup()1205 boot_base = boot_seg << 4; in setup()1212 if (rm_base < boot_base + boot_len) in setup()1220 memcpy((void *)boot_base, in setup()