udev_monitor_set_receive_buffer_size(feed) - phpMan