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