do_eventfd        438 fs/eventfd.c   	return do_eventfd(count, flags);
do_eventfd        443 fs/eventfd.c   	return do_eventfd(count, 0);