netbsd32_dev_t
netbsd32_dev_t se_dev; /* device id */
netbsd32_dev_t st_dev; /* inode's device */
netbsd32_dev_t st_rdev; /* device type */
netbsd32_dev_t vnu_dev; /* file is on this device... */
syscallarg(netbsd32_dev_t) dev;
syscallarg(netbsd32_dev_t) dev;