Searched refs:default_write_secondary (Results 1 – 1 of 1) sorted by relevance
184 static void default_write_secondary(ARMCPU *cpu, in default_write_secondary() function1313 info->write_secondary_boot = default_write_secondary; in arm_load_kernel()