Searched refs:netbsd32_dev_t (Results 1 – 3 of 3) sorted by relevance
206 typedef netbsd32_uint64 netbsd32_dev_t; typedef478 netbsd32_dev_t se_dev; /* device id */864 netbsd32_dev_t st_dev; /* inode's device */870 netbsd32_dev_t st_rdev; /* device type */
579 netbsd32_dev_t vnu_dev; /* file is on this device... */
2430 syscallarg(netbsd32_dev_t) dev;2497 syscallarg(netbsd32_dev_t) dev;