Searched refs:devfilt_args32 (Results 1 – 1 of 1) sorted by relevance
2122 fsevent_dev_filter_args32 *devfilt_args32 = (fsevent_dev_filter_args32 *)data; in fseventsf_ioctl() local2126 devfilt_args->num_devices = devfilt_args32->num_devices; in fseventsf_ioctl()2127 devfilt_args->devices = CAST_USER_ADDR_T(devfilt_args32->devices); in fseventsf_ioctl()