udev_monitor_set_receive_buffer_size(inc) - phpMan