Hi,

On 20/12/22 22:51, aitor wrote:
> dev_t used to be a 16-bit integer value defined in <sys/types.h>.
> Nowadays, they are still treated as 16-bit integers for now.
> Macros are in <linux/kdev_t.h>

Whilst the tty from proc_t is set  to the controling terminal, dev_t
from `struct stat` is set to the Volume Serial Number of the file
processing system. Both are major and minor numbers paried in a single
data type that the driver uses to identify a particular device. However,
the earlier will show you the major and minor numbers of the volume
partition. For example:

8:2  -> MAJOR:MINOR of /dev/sda2

As opposed to the tty from proc_t, that represents the controling
terminal: 136:3  ->  MAJOR:MINOR of /dev/pts/3 This is the difference
between the use of procps versus libpstat.

Cheers,

Aitor.