Retirement tax questions

If he’s not getting a pension and didn’t take any cash out or move it to a IRA you don’t report it.  Just enter it from the W2.  Probably box 12 Code D.