On 05/26/2010 07:09 AM, Paolo Bonzini wrote:
> -#ifdef CONFIG_EVENTFD
> -#include <sys/eventfd.h>
> -#endif

Is there a reason not to use eventfd if it is available?


r~

Reply via email to