mknodat(2) device argument type change

[Nicolas Joly <njoly%pasteur.fr@localhost>]

Hi,

Checking syscalls.master mknodat(2) definition needs to be updated for
correct device argument type. It currently use uint32_t where it
should be dev_t ...

460     STD  RUMP       { int|sys||mknodat(int fd, const char *path, \
                            mode_t mode, uint32_t dev); }

Simply changing the argument type does not seems enough ... It, at
least, needs an extra special PAD argument for proper alignment :

460     STD  RUMP       { int|sys||mknodat(int fd, const char *path, \
                            mode_t mode, int PAD, dev_t dev); }

What's next ?

Thanks in advance.

-- 
Nicolas Joly

Biology IT Center
Institut Pasteur, Paris.