vgic_its_save_tables_v0
.save_tables = vgic_its_save_tables_v0,
static int vgic_its_save_tables_v0(struct vgic_its *its);