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.