I'd be curious to know the stats. My personal experience: I interviewed tons of candidates in the past few years for a big tech company, a small fraction are US citizens (at least from what I can tell from their resume).