oe-kbuild-all.lists.linux.dev archive mirror
 help / color / mirror / Atom feed
From: kernel test robot <lkp@intel.com>
To: kernel@openeuler.org, liwei <liwei728@huawei.com>
Cc: oe-kbuild-all@lists.linux.dev
Subject: [openeuler:OLK-6.6 9545/9601] include/linux/entry-common.h:285:9: sparse: sparse: incorrect type in argument 1 (different address spaces)
Date: Sun, 12 May 2024 21:02:47 +0800	[thread overview]
Message-ID: <202405122055.cg12BYVn-lkp@intel.com> (raw)

tree:   https://gitee.com/openeuler/kernel.git OLK-6.6
head:   15bef328224e70041aba4aaa6b23977efba191a9
commit: d9ed39df777afd38fcbd4f4ca670cceb2f168124 [9545/9601] entry: Move exit to usermode functions to header file
config: loongarch-randconfig-r111-20240512 (https://download.01.org/0day-ci/archive/20240512/202405122055.cg12BYVn-lkp@intel.com/config)
compiler: loongarch64-linux-gcc (GCC) 13.2.0
reproduce: (https://download.01.org/0day-ci/archive/20240512/202405122055.cg12BYVn-lkp@intel.com/reproduce)

If you fix the issue in a separate patch/commit (i.e. not just a new version of
the same patch/commit), kindly add following tags
| Reported-by: kernel test robot <lkp@intel.com>
| Closes: https://lore.kernel.org/oe-kbuild-all/202405122055.cg12BYVn-lkp@intel.com/

sparse warnings: (new ones prefixed by >>)
   kernel/entry/common.c:380:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void *ptr @@     got unsigned int [noderef] __percpu * @@
   kernel/entry/common.c:380:9: sparse:     expected void *ptr
   kernel/entry/common.c:380:9: sparse:     got unsigned int [noderef] __percpu *
   kernel/entry/common.c:380:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void *ptr @@     got unsigned int [noderef] __percpu * @@
   kernel/entry/common.c:380:9: sparse:     expected void *ptr
   kernel/entry/common.c:380:9: sparse:     got unsigned int [noderef] __percpu *
   kernel/entry/common.c:380:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void *ptr @@     got unsigned int [noderef] __percpu * @@
   kernel/entry/common.c:380:9: sparse:     expected void *ptr
   kernel/entry/common.c:380:9: sparse:     got unsigned int [noderef] __percpu *
   kernel/entry/common.c:380:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void *ptr @@     got unsigned int [noderef] __percpu * @@
   kernel/entry/common.c:380:9: sparse:     expected void *ptr
   kernel/entry/common.c:380:9: sparse:     got unsigned int [noderef] __percpu *
   kernel/entry/common.c:380:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void *ptr @@     got int [noderef] __percpu * @@
   kernel/entry/common.c:380:9: sparse:     expected void *ptr
   kernel/entry/common.c:380:9: sparse:     got int [noderef] __percpu *
   kernel/entry/common.c:380:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void *ptr @@     got int [noderef] __percpu * @@
   kernel/entry/common.c:380:9: sparse:     expected void *ptr
   kernel/entry/common.c:380:9: sparse:     got int [noderef] __percpu *
   kernel/entry/common.c:380:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void *ptr @@     got int [noderef] __percpu * @@
   kernel/entry/common.c:380:9: sparse:     expected void *ptr
   kernel/entry/common.c:380:9: sparse:     got int [noderef] __percpu *
   kernel/entry/common.c:380:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void *ptr @@     got int [noderef] __percpu * @@
   kernel/entry/common.c:380:9: sparse:     expected void *ptr
   kernel/entry/common.c:380:9: sparse:     got int [noderef] __percpu *
   kernel/entry/common.c:423:29: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void *ptr @@     got int [noderef] __percpu * @@
   kernel/entry/common.c:423:29: sparse:     expected void *ptr
   kernel/entry/common.c:423:29: sparse:     got int [noderef] __percpu *
   kernel/entry/common.c:423:29: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void *ptr @@     got int [noderef] __percpu * @@
   kernel/entry/common.c:423:29: sparse:     expected void *ptr
   kernel/entry/common.c:423:29: sparse:     got int [noderef] __percpu *
   kernel/entry/common.c:423:29: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void *ptr @@     got int [noderef] __percpu * @@
   kernel/entry/common.c:423:29: sparse:     expected void *ptr
   kernel/entry/common.c:423:29: sparse:     got int [noderef] __percpu *
   kernel/entry/common.c:423:29: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void *ptr @@     got int [noderef] __percpu * @@
   kernel/entry/common.c:423:29: sparse:     expected void *ptr
   kernel/entry/common.c:423:29: sparse:     got int [noderef] __percpu *
   kernel/entry/common.c: note: in included file:
>> include/linux/entry-common.h:285:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void *ptr @@     got unsigned int [noderef] __percpu * @@
   include/linux/entry-common.h:285:9: sparse:     expected void *ptr
   include/linux/entry-common.h:285:9: sparse:     got unsigned int [noderef] __percpu *
>> include/linux/entry-common.h:285:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void *ptr @@     got unsigned int [noderef] __percpu * @@
   include/linux/entry-common.h:285:9: sparse:     expected void *ptr
   include/linux/entry-common.h:285:9: sparse:     got unsigned int [noderef] __percpu *
>> include/linux/entry-common.h:285:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void *ptr @@     got unsigned int [noderef] __percpu * @@
   include/linux/entry-common.h:285:9: sparse:     expected void *ptr
   include/linux/entry-common.h:285:9: sparse:     got unsigned int [noderef] __percpu *
>> include/linux/entry-common.h:285:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void *ptr @@     got unsigned int [noderef] __percpu * @@
   include/linux/entry-common.h:285:9: sparse:     expected void *ptr
   include/linux/entry-common.h:285:9: sparse:     got unsigned int [noderef] __percpu *
>> include/linux/entry-common.h:285:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void *ptr @@     got int [noderef] __percpu * @@
   include/linux/entry-common.h:285:9: sparse:     expected void *ptr
   include/linux/entry-common.h:285:9: sparse:     got int [noderef] __percpu *
>> include/linux/entry-common.h:285:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void *ptr @@     got int [noderef] __percpu * @@
   include/linux/entry-common.h:285:9: sparse:     expected void *ptr
   include/linux/entry-common.h:285:9: sparse:     got int [noderef] __percpu *
>> include/linux/entry-common.h:285:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void *ptr @@     got int [noderef] __percpu * @@
   include/linux/entry-common.h:285:9: sparse:     expected void *ptr
   include/linux/entry-common.h:285:9: sparse:     got int [noderef] __percpu *
>> include/linux/entry-common.h:285:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void *ptr @@     got int [noderef] __percpu * @@
   include/linux/entry-common.h:285:9: sparse:     expected void *ptr
   include/linux/entry-common.h:285:9: sparse:     got int [noderef] __percpu *
   include/linux/entry-common.h:298:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void *ptr @@     got unsigned int [noderef] __percpu * @@
   include/linux/entry-common.h:298:9: sparse:     expected void *ptr
   include/linux/entry-common.h:298:9: sparse:     got unsigned int [noderef] __percpu *
   include/linux/entry-common.h:298:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void *ptr @@     got unsigned int [noderef] __percpu * @@
   include/linux/entry-common.h:298:9: sparse:     expected void *ptr
   include/linux/entry-common.h:298:9: sparse:     got unsigned int [noderef] __percpu *
   include/linux/entry-common.h:298:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void *ptr @@     got unsigned int [noderef] __percpu * @@
   include/linux/entry-common.h:298:9: sparse:     expected void *ptr
   include/linux/entry-common.h:298:9: sparse:     got unsigned int [noderef] __percpu *
   include/linux/entry-common.h:298:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void *ptr @@     got unsigned int [noderef] __percpu * @@
   include/linux/entry-common.h:298:9: sparse:     expected void *ptr
   include/linux/entry-common.h:298:9: sparse:     got unsigned int [noderef] __percpu *
   include/linux/entry-common.h:298:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void *ptr @@     got int [noderef] __percpu * @@
   include/linux/entry-common.h:298:9: sparse:     expected void *ptr
   include/linux/entry-common.h:298:9: sparse:     got int [noderef] __percpu *
   include/linux/entry-common.h:298:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void *ptr @@     got int [noderef] __percpu * @@
   include/linux/entry-common.h:298:9: sparse:     expected void *ptr
   include/linux/entry-common.h:298:9: sparse:     got int [noderef] __percpu *
   include/linux/entry-common.h:298:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void *ptr @@     got int [noderef] __percpu * @@
   include/linux/entry-common.h:298:9: sparse:     expected void *ptr
   include/linux/entry-common.h:298:9: sparse:     got int [noderef] __percpu *
   include/linux/entry-common.h:298:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void *ptr @@     got int [noderef] __percpu * @@
   include/linux/entry-common.h:298:9: sparse:     expected void *ptr
   include/linux/entry-common.h:298:9: sparse:     got int [noderef] __percpu *
>> include/linux/entry-common.h:285:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void *ptr @@     got unsigned int [noderef] __percpu * @@
   include/linux/entry-common.h:285:9: sparse:     expected void *ptr
   include/linux/entry-common.h:285:9: sparse:     got unsigned int [noderef] __percpu *
>> include/linux/entry-common.h:285:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void *ptr @@     got unsigned int [noderef] __percpu * @@
   include/linux/entry-common.h:285:9: sparse:     expected void *ptr
   include/linux/entry-common.h:285:9: sparse:     got unsigned int [noderef] __percpu *
>> include/linux/entry-common.h:285:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void *ptr @@     got unsigned int [noderef] __percpu * @@
   include/linux/entry-common.h:285:9: sparse:     expected void *ptr
   include/linux/entry-common.h:285:9: sparse:     got unsigned int [noderef] __percpu *
>> include/linux/entry-common.h:285:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void *ptr @@     got unsigned int [noderef] __percpu * @@
   include/linux/entry-common.h:285:9: sparse:     expected void *ptr
   include/linux/entry-common.h:285:9: sparse:     got unsigned int [noderef] __percpu *
>> include/linux/entry-common.h:285:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void *ptr @@     got int [noderef] __percpu * @@
   include/linux/entry-common.h:285:9: sparse:     expected void *ptr
   include/linux/entry-common.h:285:9: sparse:     got int [noderef] __percpu *
>> include/linux/entry-common.h:285:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void *ptr @@     got int [noderef] __percpu * @@
   include/linux/entry-common.h:285:9: sparse:     expected void *ptr
   include/linux/entry-common.h:285:9: sparse:     got int [noderef] __percpu *
>> include/linux/entry-common.h:285:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void *ptr @@     got int [noderef] __percpu * @@
   include/linux/entry-common.h:285:9: sparse:     expected void *ptr
   include/linux/entry-common.h:285:9: sparse:     got int [noderef] __percpu *
>> include/linux/entry-common.h:285:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void *ptr @@     got int [noderef] __percpu * @@
   include/linux/entry-common.h:285:9: sparse:     expected void *ptr
   include/linux/entry-common.h:285:9: sparse:     got int [noderef] __percpu *
   include/linux/entry-common.h:298:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void *ptr @@     got unsigned int [noderef] __percpu * @@
   include/linux/entry-common.h:298:9: sparse:     expected void *ptr
   include/linux/entry-common.h:298:9: sparse:     got unsigned int [noderef] __percpu *
   include/linux/entry-common.h:298:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void *ptr @@     got unsigned int [noderef] __percpu * @@
   include/linux/entry-common.h:298:9: sparse:     expected void *ptr
   include/linux/entry-common.h:298:9: sparse:     got unsigned int [noderef] __percpu *
   include/linux/entry-common.h:298:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void *ptr @@     got unsigned int [noderef] __percpu * @@
   include/linux/entry-common.h:298:9: sparse:     expected void *ptr
   include/linux/entry-common.h:298:9: sparse:     got unsigned int [noderef] __percpu *
   include/linux/entry-common.h:298:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void *ptr @@     got unsigned int [noderef] __percpu * @@
   include/linux/entry-common.h:298:9: sparse:     expected void *ptr
   include/linux/entry-common.h:298:9: sparse:     got unsigned int [noderef] __percpu *
   include/linux/entry-common.h:298:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void *ptr @@     got int [noderef] __percpu * @@
   include/linux/entry-common.h:298:9: sparse:     expected void *ptr
   include/linux/entry-common.h:298:9: sparse:     got int [noderef] __percpu *
   include/linux/entry-common.h:298:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void *ptr @@     got int [noderef] __percpu * @@
   include/linux/entry-common.h:298:9: sparse:     expected void *ptr
   include/linux/entry-common.h:298:9: sparse:     got int [noderef] __percpu *
   include/linux/entry-common.h:298:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void *ptr @@     got int [noderef] __percpu * @@
   include/linux/entry-common.h:298:9: sparse:     expected void *ptr
   include/linux/entry-common.h:298:9: sparse:     got int [noderef] __percpu *
   include/linux/entry-common.h:298:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void *ptr @@     got int [noderef] __percpu * @@
   include/linux/entry-common.h:298:9: sparse:     expected void *ptr
   include/linux/entry-common.h:298:9: sparse:     got int [noderef] __percpu *
>> include/linux/entry-common.h:285:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void *ptr @@     got unsigned int [noderef] __percpu * @@
   include/linux/entry-common.h:285:9: sparse:     expected void *ptr
   include/linux/entry-common.h:285:9: sparse:     got unsigned int [noderef] __percpu *
>> include/linux/entry-common.h:285:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void *ptr @@     got unsigned int [noderef] __percpu * @@
   include/linux/entry-common.h:285:9: sparse:     expected void *ptr
   include/linux/entry-common.h:285:9: sparse:     got unsigned int [noderef] __percpu *
>> include/linux/entry-common.h:285:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void *ptr @@     got unsigned int [noderef] __percpu * @@
   include/linux/entry-common.h:285:9: sparse:     expected void *ptr
   include/linux/entry-common.h:285:9: sparse:     got unsigned int [noderef] __percpu *
>> include/linux/entry-common.h:285:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void *ptr @@     got unsigned int [noderef] __percpu * @@
   include/linux/entry-common.h:285:9: sparse:     expected void *ptr
   include/linux/entry-common.h:285:9: sparse:     got unsigned int [noderef] __percpu *
>> include/linux/entry-common.h:285:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void *ptr @@     got int [noderef] __percpu * @@
   include/linux/entry-common.h:285:9: sparse:     expected void *ptr
   include/linux/entry-common.h:285:9: sparse:     got int [noderef] __percpu *
>> include/linux/entry-common.h:285:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void *ptr @@     got int [noderef] __percpu * @@
   include/linux/entry-common.h:285:9: sparse:     expected void *ptr
   include/linux/entry-common.h:285:9: sparse:     got int [noderef] __percpu *
>> include/linux/entry-common.h:285:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void *ptr @@     got int [noderef] __percpu * @@
   include/linux/entry-common.h:285:9: sparse:     expected void *ptr
   include/linux/entry-common.h:285:9: sparse:     got int [noderef] __percpu *
>> include/linux/entry-common.h:285:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void *ptr @@     got int [noderef] __percpu * @@
   include/linux/entry-common.h:285:9: sparse:     expected void *ptr
   include/linux/entry-common.h:285:9: sparse:     got int [noderef] __percpu *
   include/linux/entry-common.h:298:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void *ptr @@     got unsigned int [noderef] __percpu * @@
   include/linux/entry-common.h:298:9: sparse:     expected void *ptr
   include/linux/entry-common.h:298:9: sparse:     got unsigned int [noderef] __percpu *
   include/linux/entry-common.h:298:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void *ptr @@     got unsigned int [noderef] __percpu * @@
   include/linux/entry-common.h:298:9: sparse:     expected void *ptr
   include/linux/entry-common.h:298:9: sparse:     got unsigned int [noderef] __percpu *
   include/linux/entry-common.h:298:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void *ptr @@     got unsigned int [noderef] __percpu * @@
   include/linux/entry-common.h:298:9: sparse:     expected void *ptr
   include/linux/entry-common.h:298:9: sparse:     got unsigned int [noderef] __percpu *
   include/linux/entry-common.h:298:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void *ptr @@     got unsigned int [noderef] __percpu * @@
   include/linux/entry-common.h:298:9: sparse:     expected void *ptr
   include/linux/entry-common.h:298:9: sparse:     got unsigned int [noderef] __percpu *
   include/linux/entry-common.h:298:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void *ptr @@     got int [noderef] __percpu * @@
   include/linux/entry-common.h:298:9: sparse:     expected void *ptr
   include/linux/entry-common.h:298:9: sparse:     got int [noderef] __percpu *
   include/linux/entry-common.h:298:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void *ptr @@     got int [noderef] __percpu * @@
   include/linux/entry-common.h:298:9: sparse:     expected void *ptr
   include/linux/entry-common.h:298:9: sparse:     got int [noderef] __percpu *
   include/linux/entry-common.h:298:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void *ptr @@     got int [noderef] __percpu * @@
   include/linux/entry-common.h:298:9: sparse:     expected void *ptr
   include/linux/entry-common.h:298:9: sparse:     got int [noderef] __percpu *
   include/linux/entry-common.h:298:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void *ptr @@     got int [noderef] __percpu * @@
   include/linux/entry-common.h:298:9: sparse:     expected void *ptr
   include/linux/entry-common.h:298:9: sparse:     got int [noderef] __percpu *

vim +285 include/linux/entry-common.h

   264	
   265	/**
   266	 * exit_to_user_mode_loop - do any pending work before leaving to user space
   267	 */
   268	unsigned long exit_to_user_mode_loop(struct pt_regs *regs,
   269					     unsigned long ti_work);
   270	
   271	/**
   272	 * exit_to_user_mode_prepare - call exit_to_user_mode_loop() if required
   273	 * @regs:	Pointer to pt_regs on entry stack
   274	 *
   275	 * 1) check that interrupts are disabled
   276	 * 2) call tick_nohz_user_enter_prepare()
   277	 * 3) call exit_to_user_mode_loop() if any flags from
   278	 *    EXIT_TO_USER_MODE_WORK are set
   279	 * 4) check that interrupts are still disabled
   280	 */
   281	static __always_inline void exit_to_user_mode_prepare(struct pt_regs *regs)
   282	{
   283		unsigned long ti_work;
   284	
 > 285		lockdep_assert_irqs_disabled();
   286	
   287		/* Flush pending rcuog wakeup before the last need_resched() check */
   288		tick_nohz_user_enter_prepare();
   289	
   290		ti_work = read_thread_flags();
   291		if (unlikely(ti_work & EXIT_TO_USER_MODE_WORK))
   292			ti_work = exit_to_user_mode_loop(regs, ti_work);
   293	
   294		arch_exit_to_user_mode_prepare(regs, ti_work);
   295	
   296		/* Ensure that kernel state is sane for a return to userspace */
   297		kmap_assert_nomap();
   298		lockdep_assert_irqs_disabled();
   299		lockdep_sys_exit();
   300	}
   301	

-- 
0-DAY CI Kernel Test Service
https://github.com/intel/lkp-tests/wiki

                 reply	other threads:[~2024-05-12 13:02 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=202405122055.cg12BYVn-lkp@intel.com \
    --to=lkp@intel.com \
    --cc=kernel@openeuler.org \
    --cc=liwei728@huawei.com \
    --cc=oe-kbuild-all@lists.linux.dev \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).