He sold something around $10 (+/- 2) billion of Tesla stock. The loans don't matter as they were (a) tied in to use only to buy Twitter and (b) allowed to expire last month.