return true;
}
+static void cell_reconfig_completed(void)
+{
+ struct cell *cell;
+
+ for_each_non_root_cell(cell)
+ cell_send_message(cell, JAILHOUSE_MSG_RECONFIG_COMPLETED,
+ MSG_INFORMATION);
+}
+
static unsigned int get_free_cell_id(void)
{
unsigned int id = 0;
arch_park_cpu(cpu);
}
+ cell_reconfig_completed();
+
printk("Created cell \"%s\"\n", cell->config->name);
page_map_dump_stats("after cell creation");
page_free(&mem_pool, cell, cell->data_pages);
page_map_dump_stats("after cell destruction");
+ cell_reconfig_completed();
+
cell_resume(cpu_data);
return 0;