Barrett Miller has entered the transfer portal, I'm assuming as a graduate transfer. The article from Rivals Portal is here.
Rivals Transfer Portal - Veteran Stanford OL Barrett Miller enters the transfer portal
A 30-game starter for the Cardinal is now in the transfer portal.
portal.rivals.com