24.5 sgtty (8201)

8206:

Get a validated pointer to a “file” array entry;

8209:

Check that the file is a “character special”;

8213:

Call the appropriate “d_sgtty” routine for the device type. (See Sheet 46.)

Note that the “d_sgtty” routine is “nodev” for the line printer and paper tape reader/punch.