Searched refs:write_smpboot64 (Results 1 – 1 of 1) sorted by relevance
144 static void write_smpboot64(ARMCPU *cpu, const struct arm_boot_info *info) in write_smpboot64() function220 s->binfo.write_secondary_boot = write_smpboot64; in setup_boot()