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