When I had a green card I'd just fill out a landing card on the aircraft and go through with the US residents and citizens.