Move unregister_init_virtual_region to init_done. Follow the same path
as x86. It is also useful to move it later so that create_domUs can be
called before that in following patches.
Signed-off-by: Stefano Stabellini <stefanos@xilinx.com>
Reviewed-by: Julien Grall <julien.grall@arm.com>
static __used void init_done(void)
{
+ /* Must be done past setting system_state. */
+ unregister_init_virtual_region();
+
free_init_memory();
startup_cpu_idle_loop();
}
system_state = SYS_STATE_active;
- /* Must be done past setting system_state. */
- unregister_init_virtual_region();
-
domain_unpause_by_systemcontroller(dom0);
/* Switch on to the dynamically allocated stack for the idle vcpu