Lines Matching refs:devices
102 dev_t *devices_not_to_watch; // report events from devices not in this list
291 // events from all devices
1568 user_addr_t devices;
1576 int32_t devices;
1582 /* need this in spite of the padding due to alignment of devices */
1585 uint32_t devices;
1607 devfilt_args->devices = CAST_USER_ADDR_T(udev_filt_args->devices);
1620 devfilt_args->devices = CAST_USER_ADDR_T(udev_filt_args->devices);
1682 ret = copyin(devfilt_args->devices,