udev_monitor_set_receive_buffer_size(3) - phpMan