how to know the real device used by /dev/console ?

[Eric Delaunay <delaunay@lix.polytechnique.fr>]

Hello,

  is there a way (an ioctl or such) to get the real device connected to
/dev/console ?  Especially, I need to know whether the console is connected to
a serial one or not.

Thanks in advance.

-- 
 Eric Delaunay                 | "La guerre justifie l'existence des militaires.
 delaunay@lix.polytechnique.fr | En les supprimant." Henri Jeanson (1900-1970)