vgic_its_restore_tables_v0
.restore_tables = vgic_its_restore_tables_v0,
static int vgic_its_restore_tables_v0(struct vgic_its *its);