diff options
| author | Linus Torvalds <[email protected]> | 2018-02-11 13:57:19 -0800 | 
|---|---|---|
| committer | Linus Torvalds <[email protected]> | 2018-02-11 13:57:19 -0800 | 
| commit | ee5daa1361fceb6f482c005bcc9ba8d01b92ea5c (patch) | |
| tree | 71736f733c7efec13218756ab8635b258b8a1c53 | |
| parent | 3fc928dc5308f6533d0e8004c8c63b46709a5276 (diff) | |
| parent | d85e2aa2e34dac793e70b900d865f48c69ecbc27 (diff) | |
Merge branch 'work.poll2' of git://git.kernel.org/pub/scm/linux/kernel/git/viro/vfs
Pull more poll annotation updates from Al Viro:
 "This is preparation to solving the problems you've mentioned in the
  original poll series.
  After this series, the kernel is ready for running
      for V in IN OUT PRI ERR RDNORM RDBAND WRNORM WRBAND HUP RDHUP NVAL MSG; do
            L=`git grep -l -w POLL$V | grep -v '^t' | grep -v /um/ | grep -v '^sa' | grep -v '/poll.h$'|grep -v '^D'`
            for f in $L; do sed -i "-es/^\([^\"]*\)\(\<POLL$V\>\)/\\1E\\2/" $f; done
      done
  as a for bulk search-and-replace.
  After that, the kernel is ready to apply the patch to unify
  {de,}mangle_poll(), and then get rid of kernel-side POLL... uses
  entirely, and we should be all done with that stuff.
  Basically, that's what you suggested wrt KPOLL..., except that we can
  use EPOLL... instead - they already are arch-independent (and equal to
  what is currently kernel-side POLL...).
  After the preparations (in this series) switch to returning EPOLL...
  from ->poll() instances is completely mechanical and kernel-side
  POLL... can go away. The last step (killing kernel-side POLL... and
  unifying {de,}mangle_poll() has to be done after the
  search-and-replace job, since we need userland-side POLL... for
  unified {de,}mangle_poll(), thus the cherry-pick at the last step.
  After that we will have:
   - POLL{IN,OUT,...} *not* in __poll_t, so any stray instances of
     ->poll() still using those will be caught by sparse.
   - eventpoll.c and select.c warning-free wrt __poll_t
   - no more kernel-side definitions of POLL... - userland ones are
     visible through the entire kernel (and used pretty much only for
     mangle/demangle)
   - same behavior as after the first series (i.e. sparc et.al. epoll(2)
     working correctly)"
* 'work.poll2' of git://git.kernel.org/pub/scm/linux/kernel/git/viro/vfs:
  annotate ep_scan_ready_list()
  ep_send_events_proc(): return result via esed->res
  preparation to switching ->poll() to returning EPOLL...
  add EPOLLNVAL, annotate EPOLL... and event_poll->event
  use linux/poll.h instead of asm/poll.h
  xen: fix poll misannotation
  smc: missing poll annotations
| -rw-r--r-- | drivers/xen/pvcalls-front.h | 2 | ||||
| -rw-r--r-- | fs/coda/psdev.c | 2 | ||||
| -rw-r--r-- | fs/debugfs/file.c | 2 | ||||
| -rw-r--r-- | fs/eventpoll.c | 41 | ||||
| -rw-r--r-- | fs/fcntl.c | 2 | ||||
| -rw-r--r-- | include/linux/poll.h | 3 | ||||
| -rw-r--r-- | include/uapi/linux/eventpoll.h | 33 | ||||
| -rw-r--r-- | net/smc/af_smc.c | 2 | 
8 files changed, 47 insertions, 40 deletions
| diff --git a/drivers/xen/pvcalls-front.h b/drivers/xen/pvcalls-front.h index 3332978f4fcd..f694ad77379f 100644 --- a/drivers/xen/pvcalls-front.h +++ b/drivers/xen/pvcalls-front.h @@ -20,7 +20,7 @@ int pvcalls_front_recvmsg(struct socket *sock,  			  struct msghdr *msg,  			  size_t len,  			  int flags); -unsigned int pvcalls_front_poll(struct file *file, +__poll_t pvcalls_front_poll(struct file *file,  				struct socket *sock,  				poll_table *wait);  int pvcalls_front_release(struct socket *sock); diff --git a/fs/coda/psdev.c b/fs/coda/psdev.c index 49d3c6fda89a..80b9b84391a9 100644 --- a/fs/coda/psdev.c +++ b/fs/coda/psdev.c @@ -39,7 +39,7 @@  #include <linux/device.h>  #include <linux/pid_namespace.h>  #include <asm/io.h> -#include <asm/poll.h> +#include <linux/poll.h>  #include <linux/uaccess.h>  #include <linux/coda.h> diff --git a/fs/debugfs/file.c b/fs/debugfs/file.c index 6fdbf21be318..20bb73a931dd 100644 --- a/fs/debugfs/file.c +++ b/fs/debugfs/file.c @@ -18,7 +18,7 @@  #include <linux/slab.h>  #include <linux/atomic.h>  #include <linux/device.h> -#include <asm/poll.h> +#include <linux/poll.h>  #include "internal.h" diff --git a/fs/eventpoll.c b/fs/eventpoll.c index 42e35a6977c9..d1a490c7e6c3 100644 --- a/fs/eventpoll.c +++ b/fs/eventpoll.c @@ -260,6 +260,7 @@ struct ep_pqueue {  struct ep_send_events_data {  	int maxevents;  	struct epoll_event __user *events; +	int res;  };  /* @@ -660,12 +661,13 @@ static inline void ep_pm_stay_awake_rcu(struct epitem *epi)   *   * Returns: The same integer error code returned by the @sproc callback.   */ -static int ep_scan_ready_list(struct eventpoll *ep, -			      int (*sproc)(struct eventpoll *, +static __poll_t ep_scan_ready_list(struct eventpoll *ep, +			      __poll_t (*sproc)(struct eventpoll *,  					   struct list_head *, void *),  			      void *priv, int depth, bool ep_locked)  { -	int error, pwake = 0; +	__poll_t res; +	int pwake = 0;  	unsigned long flags;  	struct epitem *epi, *nepi;  	LIST_HEAD(txlist); @@ -694,7 +696,7 @@ static int ep_scan_ready_list(struct eventpoll *ep,  	/*  	 * Now call the callback function.  	 */ -	error = (*sproc)(ep, &txlist, priv); +	res = (*sproc)(ep, &txlist, priv);  	spin_lock_irqsave(&ep->lock, flags);  	/* @@ -747,7 +749,7 @@ static int ep_scan_ready_list(struct eventpoll *ep,  	if (pwake)  		ep_poll_safewake(&ep->poll_wait); -	return error; +	return res;  }  static void epi_rcu_free(struct rcu_head *head) @@ -864,7 +866,7 @@ static int ep_eventpoll_release(struct inode *inode, struct file *file)  	return 0;  } -static int ep_read_events_proc(struct eventpoll *ep, struct list_head *head, +static __poll_t ep_read_events_proc(struct eventpoll *ep, struct list_head *head,  			       void *priv);  static void ep_ptable_queue_proc(struct file *file, wait_queue_head_t *whead,  				 poll_table *pt); @@ -874,7 +876,7 @@ static void ep_ptable_queue_proc(struct file *file, wait_queue_head_t *whead,   * the ep->mtx so we need to start from depth=1, such that mutex_lock_nested()   * is correctly annotated.   */ -static unsigned int ep_item_poll(const struct epitem *epi, poll_table *pt, +static __poll_t ep_item_poll(const struct epitem *epi, poll_table *pt,  				 int depth)  {  	struct eventpoll *ep; @@ -894,7 +896,7 @@ static unsigned int ep_item_poll(const struct epitem *epi, poll_table *pt,  				  locked) & epi->event.events;  } -static int ep_read_events_proc(struct eventpoll *ep, struct list_head *head, +static __poll_t ep_read_events_proc(struct eventpoll *ep, struct list_head *head,  			       void *priv)  {  	struct epitem *epi, *tmp; @@ -1414,7 +1416,8 @@ static noinline void ep_destroy_wakeup_source(struct epitem *epi)  static int ep_insert(struct eventpoll *ep, const struct epoll_event *event,  		     struct file *tfile, int fd, int full_check)  { -	int error, revents, pwake = 0; +	int error, pwake = 0; +	__poll_t revents;  	unsigned long flags;  	long user_watches;  	struct epitem *epi; @@ -1612,12 +1615,11 @@ static int ep_modify(struct eventpoll *ep, struct epitem *epi,  	return 0;  } -static int ep_send_events_proc(struct eventpoll *ep, struct list_head *head, +static __poll_t ep_send_events_proc(struct eventpoll *ep, struct list_head *head,  			       void *priv)  {  	struct ep_send_events_data *esed = priv; -	int eventcnt; -	unsigned int revents; +	__poll_t revents;  	struct epitem *epi;  	struct epoll_event __user *uevent;  	struct wakeup_source *ws; @@ -1630,8 +1632,8 @@ static int ep_send_events_proc(struct eventpoll *ep, struct list_head *head,  	 * Items cannot vanish during the loop because ep_scan_ready_list() is  	 * holding "mtx" during this call.  	 */ -	for (eventcnt = 0, uevent = esed->events; -	     !list_empty(head) && eventcnt < esed->maxevents;) { +	for (esed->res = 0, uevent = esed->events; +	     !list_empty(head) && esed->res < esed->maxevents;) {  		epi = list_first_entry(head, struct epitem, rdllink);  		/* @@ -1665,9 +1667,11 @@ static int ep_send_events_proc(struct eventpoll *ep, struct list_head *head,  			    __put_user(epi->event.data, &uevent->data)) {  				list_add(&epi->rdllink, head);  				ep_pm_stay_awake(epi); -				return eventcnt ? eventcnt : -EFAULT; +				if (!esed->res) +					esed->res = -EFAULT; +				return 0;  			} -			eventcnt++; +			esed->res++;  			uevent++;  			if (epi->event.events & EPOLLONESHOT)  				epi->event.events &= EP_PRIVATE_BITS; @@ -1689,7 +1693,7 @@ static int ep_send_events_proc(struct eventpoll *ep, struct list_head *head,  		}  	} -	return eventcnt; +	return 0;  }  static int ep_send_events(struct eventpoll *ep, @@ -1700,7 +1704,8 @@ static int ep_send_events(struct eventpoll *ep,  	esed.maxevents = maxevents;  	esed.events = events; -	return ep_scan_ready_list(ep, ep_send_events_proc, &esed, 0, false); +	ep_scan_ready_list(ep, ep_send_events_proc, &esed, 0, false); +	return esed.res;  }  static inline struct timespec64 ep_set_mstimeout(long ms) diff --git a/fs/fcntl.c b/fs/fcntl.c index e95fa0a352ea..4fc731876d6b 100644 --- a/fs/fcntl.c +++ b/fs/fcntl.c @@ -26,7 +26,7 @@  #include <linux/shmem_fs.h>  #include <linux/compat.h> -#include <asm/poll.h> +#include <linux/poll.h>  #include <asm/siginfo.h>  #include <linux/uaccess.h> diff --git a/include/linux/poll.h b/include/linux/poll.h index 04781a753326..d23104b32931 100644 --- a/include/linux/poll.h +++ b/include/linux/poll.h @@ -11,6 +11,7 @@  #include <linux/sysctl.h>  #include <linux/uaccess.h>  #include <uapi/linux/poll.h> +#include <uapi/linux/eventpoll.h>  extern struct ctl_table epoll_table[]; /* for sysctl */  /* ~832 bytes of stack space used max in sys_select/sys_poll before allocating @@ -22,7 +23,7 @@ extern struct ctl_table epoll_table[]; /* for sysctl */  #define WQUEUES_STACK_ALLOC	(MAX_STACK_ALLOC - FRONTEND_STACK_ALLOC)  #define N_INLINE_POLL_ENTRIES	(WQUEUES_STACK_ALLOC / sizeof(struct poll_table_entry)) -#define DEFAULT_POLLMASK (POLLIN | POLLOUT | POLLRDNORM | POLLWRNORM) +#define DEFAULT_POLLMASK (EPOLLIN | EPOLLOUT | EPOLLRDNORM | EPOLLWRNORM)  struct poll_table_struct; diff --git a/include/uapi/linux/eventpoll.h b/include/uapi/linux/eventpoll.h index 63e21be30f15..bf48e71f2634 100644 --- a/include/uapi/linux/eventpoll.h +++ b/include/uapi/linux/eventpoll.h @@ -28,20 +28,21 @@  #define EPOLL_CTL_MOD 3  /* Epoll event masks */ -#define EPOLLIN		0x00000001 -#define EPOLLPRI	0x00000002 -#define EPOLLOUT	0x00000004 -#define EPOLLERR	0x00000008 -#define EPOLLHUP	0x00000010 -#define EPOLLRDNORM	0x00000040 -#define EPOLLRDBAND	0x00000080 -#define EPOLLWRNORM	0x00000100 -#define EPOLLWRBAND	0x00000200 -#define EPOLLMSG	0x00000400 -#define EPOLLRDHUP	0x00002000 +#define EPOLLIN		(__force __poll_t)0x00000001 +#define EPOLLPRI	(__force __poll_t)0x00000002 +#define EPOLLOUT	(__force __poll_t)0x00000004 +#define EPOLLERR	(__force __poll_t)0x00000008 +#define EPOLLHUP	(__force __poll_t)0x00000010 +#define EPOLLNVAL	(__force __poll_t)0x00000020 +#define EPOLLRDNORM	(__force __poll_t)0x00000040 +#define EPOLLRDBAND	(__force __poll_t)0x00000080 +#define EPOLLWRNORM	(__force __poll_t)0x00000100 +#define EPOLLWRBAND	(__force __poll_t)0x00000200 +#define EPOLLMSG	(__force __poll_t)0x00000400 +#define EPOLLRDHUP	(__force __poll_t)0x00002000  /* Set exclusive wakeup mode for the target file descriptor */ -#define EPOLLEXCLUSIVE (1U << 28) +#define EPOLLEXCLUSIVE (__force __poll_t)(1U << 28)  /*   * Request the handling of system wakeup events so as to prevent system suspends @@ -53,13 +54,13 @@   *   * Requires CAP_BLOCK_SUSPEND   */ -#define EPOLLWAKEUP (1U << 29) +#define EPOLLWAKEUP (__force __poll_t)(1U << 29)  /* Set the One Shot behaviour for the target file descriptor */ -#define EPOLLONESHOT (1U << 30) +#define EPOLLONESHOT (__force __poll_t)(1U << 30)  /* Set the Edge Triggered behaviour for the target file descriptor */ -#define EPOLLET (1U << 31) +#define EPOLLET (__force __poll_t)(1U << 31)  /*    * On x86-64 make the 64bit structure have the same alignment as the @@ -74,7 +75,7 @@  #endif  struct epoll_event { -	__u32 events; +	__poll_t events;  	__u64 data;  } EPOLL_PACKED; diff --git a/net/smc/af_smc.c b/net/smc/af_smc.c index 3583c8ab1bae..ba4b84debc5a 100644 --- a/net/smc/af_smc.c +++ b/net/smc/af_smc.c @@ -1141,7 +1141,7 @@ out:  static __poll_t smc_accept_poll(struct sock *parent)  {  	struct smc_sock *isk = smc_sk(parent); -	int mask = 0; +	__poll_t mask = 0;  	spin_lock(&isk->accept_q_lock);  	if (!list_empty(&isk->accept_q)) |