Ion channel dysfunction might also cause hyperexcitability in TSC—in astrocytes of TSC1-deficient mice, there is decreased expression of potassium inward rectifier channels (Kir2.1 and Kir 6.1), limiting the passage of hyperpolarizing current (64). This evidence concerns the gene TSC1 and tuberous sclerosis.