Whether a permanent resident can use the line for US citizens depends on an airport. Most airports indeed allocate the same lines for US citizens and permanent residents, but in any case, there will always be a sign directing people which line to use.