That money will be provided via a loan, from the US Government, at a reasonable interest rate. USG doesn't lose money, TSMC gets to expand into all of Intels fabs (when they raise the money to buy a controlling interest in INTC down the line.)

Or the entire thing can be done by a stock swap, with whoever diluting themselves however amount is necessary, etc.