{
paging_destroy(&cell->arch.mm, (unsigned long)gicc_base, gicc_size,
PAGING_NON_COHERENT);
- /* Reset interrupt routing of the cell's spis */
- gic_target_spis(cell, &root_cell);
}
static int gic_send_sgi(struct sgi *sgi)
return 0;
}
-static void gic_cell_exit(struct cell *cell)
-{
- /* Reset interrupt routing of the cell's spis*/
- gic_route_spis(cell, &root_cell);
-}
-
static int gic_send_sgi(struct sgi *sgi)
{
u64 val;
.cpu_init = gic_cpu_init,
.cpu_reset = gic_cpu_reset,
.cell_init = gic_cell_init,
- .cell_exit = gic_cell_exit,
.send_sgi = gic_send_sgi,
.handle_irq = gic_handle_irq,
.inject_irq = gic_inject_irq,