From: kernel test robot <lkp@intel.com>
To: John Stultz <jstultz@google.com>
Cc: oe-kbuild-all@lists.linux.dev, linux-kernel@vger.kernel.org,
Peter Zijlstra <peterz@infradead.org>
Subject: kernel/sched/core.c:6781:37: sparse: sparse: incorrect type in argument 2 (different address spaces)
Date: Mon, 23 Mar 2026 01:17:29 +0800 [thread overview]
Message-ID: <202603230154.Gwpf8bHV-lkp@intel.com> (raw)
tree: https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git master
head: 113ae7b4decc6c2d95bdbbe52e615a0137ef7f9f
commit: be41bde4c3a86de4be5cd3d1ca613e24664e68dc sched: Add an initial sketch of the find_proxy_task() function
date: 8 months ago
config: arc-randconfig-r122-20260322 (https://download.01.org/0day-ci/archive/20260323/202603230154.Gwpf8bHV-lkp@intel.com/config)
compiler: arc-linux-gcc (GCC) 10.5.0
sparse: v0.6.5-rc1
reproduce (this is a W=1 build): (https://download.01.org/0day-ci/archive/20260323/202603230154.Gwpf8bHV-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/202603230154.Gwpf8bHV-lkp@intel.com/
sparse warnings: (new ones prefixed by >>)
kernel/sched/core.c:1097:38: sparse: sparse: incorrect type in initializer (different address spaces) @@ expected struct task_struct *curr @@ got struct task_struct [noderef] __rcu *curr @@
kernel/sched/core.c:1097:38: sparse: expected struct task_struct *curr
kernel/sched/core.c:1097:38: sparse: got struct task_struct [noderef] __rcu *curr
kernel/sched/core.c:1197:9: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected struct sched_domain *[assigned] sd @@ got struct sched_domain [noderef] __rcu *parent @@
kernel/sched/core.c:1197:9: sparse: expected struct sched_domain *[assigned] sd
kernel/sched/core.c:1197:9: sparse: got struct sched_domain [noderef] __rcu *parent
kernel/sched/core.c:2196:39: sparse: sparse: incorrect type in initializer (different address spaces) @@ expected struct task_struct *donor @@ got struct task_struct [noderef] __rcu *donor @@
kernel/sched/core.c:2196:39: sparse: expected struct task_struct *donor
kernel/sched/core.c:2196:39: sparse: got struct task_struct [noderef] __rcu *donor
kernel/sched/core.c:2207:65: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct task_struct *tsk @@ got struct task_struct [noderef] __rcu *curr @@
kernel/sched/core.c:2207:65: sparse: expected struct task_struct *tsk
kernel/sched/core.c:2207:65: sparse: got struct task_struct [noderef] __rcu *curr
kernel/sched/core.c:3679:17: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected struct sched_domain *[assigned] sd @@ got struct sched_domain [noderef] __rcu *parent @@
kernel/sched/core.c:3679:17: sparse: expected struct sched_domain *[assigned] sd
kernel/sched/core.c:3679:17: sparse: got struct sched_domain [noderef] __rcu *parent
kernel/sched/core.c:3884:36: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct task_struct const *p @@ got struct task_struct [noderef] __rcu *curr @@
kernel/sched/core.c:3884:36: sparse: expected struct task_struct const *p
kernel/sched/core.c:3884:36: sparse: got struct task_struct [noderef] __rcu *curr
kernel/sched/core.c:5607:15: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected struct task_struct *donor @@ got struct task_struct [noderef] __rcu *donor @@
kernel/sched/core.c:5607:15: sparse: expected struct task_struct *donor
kernel/sched/core.c:5607:15: sparse: got struct task_struct [noderef] __rcu *donor
kernel/sched/core.c:6715:14: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected struct task_struct *prev @@ got struct task_struct [noderef] __rcu *curr @@
kernel/sched/core.c:6715:14: sparse: expected struct task_struct *prev
kernel/sched/core.c:6715:14: sparse: got struct task_struct [noderef] __rcu *curr
>> kernel/sched/core.c:6781:37: sparse: sparse: incorrect type in argument 2 (different address spaces) @@ expected struct task_struct *prev @@ got struct task_struct [noderef] __rcu *donor @@
kernel/sched/core.c:6781:37: sparse: expected struct task_struct *prev
kernel/sched/core.c:6781:37: sparse: got struct task_struct [noderef] __rcu *donor
kernel/sched/core.c:7277:17: sparse: sparse: incompatible types in comparison expression (different address spaces):
kernel/sched/core.c:7277:17: sparse: struct task_struct *
kernel/sched/core.c:7277:17: sparse: struct task_struct [noderef] __rcu *
kernel/sched/core.c:10208:25: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct task_struct *p @@ got struct task_struct [noderef] __rcu *curr @@
kernel/sched/core.c:10208:25: sparse: expected struct task_struct *p
kernel/sched/core.c:10208:25: sparse: got struct task_struct [noderef] __rcu *curr
kernel/sched/core.c:628:6: sparse: sparse: context imbalance in 'raw_spin_rq_lock_nested' - wrong count at exit
kernel/sched/core.c:661:23: sparse: sparse: context imbalance in 'raw_spin_rq_trylock' - wrong count at exit
kernel/sched/core.c:677:6: sparse: sparse: context imbalance in 'raw_spin_rq_unlock' - unexpected unlock
kernel/sched/core.c: note: in included file:
kernel/sched/sched.h:1774:9: sparse: sparse: context imbalance in '__task_rq_lock' - wrong count at exit
kernel/sched/sched.h:1774:9: sparse: sparse: context imbalance in 'task_rq_lock' - wrong count at exit
kernel/sched/core.c: note: in included file:
kernel/sched/pelt.h:102:13: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct task_struct const *p @@ got struct task_struct [noderef] __rcu *curr @@
kernel/sched/pelt.h:102:13: sparse: expected struct task_struct const *p
kernel/sched/pelt.h:102:13: sparse: got struct task_struct [noderef] __rcu *curr
kernel/sched/core.c:2277:35: sparse: sparse: context imbalance in 'wait_task_inactive' - different lock contexts for basic block
kernel/sched/core.c: note: in included file:
kernel/sched/sched.h:2262:26: sparse: sparse: incompatible types in comparison expression (different address spaces):
kernel/sched/sched.h:2262:26: sparse: struct task_struct [noderef] __rcu *
kernel/sched/sched.h:2262:26: sparse: struct task_struct *
kernel/sched/sched.h:2447:9: sparse: sparse: incompatible types in comparison expression (different address spaces):
kernel/sched/sched.h:2447:9: sparse: struct task_struct [noderef] __rcu *
kernel/sched/sched.h:2447:9: sparse: struct task_struct *
kernel/sched/core.c:2160:38: sparse: sparse: incompatible types in comparison expression (different address spaces):
kernel/sched/core.c:2160:38: sparse: struct task_struct [noderef] __rcu *
kernel/sched/core.c:2160:38: sparse: struct task_struct const *
kernel/sched/sched.h:2262:26: sparse: sparse: incompatible types in comparison expression (different address spaces):
kernel/sched/sched.h:2262:26: sparse: struct task_struct [noderef] __rcu *
kernel/sched/sched.h:2262:26: sparse: struct task_struct *
kernel/sched/sched.h:2470:9: sparse: sparse: incompatible types in comparison expression (different address spaces):
kernel/sched/sched.h:2470:9: sparse: struct task_struct [noderef] __rcu *
kernel/sched/sched.h:2470:9: sparse: struct task_struct *
kernel/sched/sched.h:2470:9: sparse: sparse: incompatible types in comparison expression (different address spaces):
kernel/sched/sched.h:2470:9: sparse: struct task_struct [noderef] __rcu *
kernel/sched/sched.h:2470:9: sparse: struct task_struct *
kernel/sched/sched.h:2470:9: sparse: sparse: incompatible types in comparison expression (different address spaces):
kernel/sched/sched.h:2470:9: sparse: struct task_struct [noderef] __rcu *
kernel/sched/sched.h:2470:9: sparse: struct task_struct *
kernel/sched/core.c: note: in included file (through arch/arc/include/asm/mmu.h, include/linux/mm_types.h, include/linux/mmzone.h, ...):
arch/arc/include/asm/mmu-arcv2.h:84:9: sparse: sparse: undefined identifier '__builtin_arc_sr'
kernel/sched/core.c: note: in included file:
kernel/sched/sched.h:2262:26: sparse: sparse: incompatible types in comparison expression (different address spaces):
kernel/sched/sched.h:2262:26: sparse: struct task_struct [noderef] __rcu *
kernel/sched/sched.h:2262:26: sparse: struct task_struct *
kernel/sched/sched.h:2447:9: sparse: sparse: incompatible types in comparison expression (different address spaces):
kernel/sched/sched.h:2447:9: sparse: struct task_struct [noderef] __rcu *
kernel/sched/sched.h:2447:9: sparse: struct task_struct *
kernel/sched/sched.h:2262:26: sparse: sparse: incompatible types in comparison expression (different address spaces):
kernel/sched/sched.h:2262:26: sparse: struct task_struct [noderef] __rcu *
kernel/sched/sched.h:2262:26: sparse: struct task_struct *
kernel/sched/sched.h:2447:9: sparse: sparse: incompatible types in comparison expression (different address spaces):
kernel/sched/sched.h:2447:9: sparse: struct task_struct [noderef] __rcu *
kernel/sched/sched.h:2447:9: sparse: struct task_struct *
vim +6781 kernel/sched/core.c
6656
6657 /*
6658 * __schedule() is the main scheduler function.
6659 *
6660 * The main means of driving the scheduler and thus entering this function are:
6661 *
6662 * 1. Explicit blocking: mutex, semaphore, waitqueue, etc.
6663 *
6664 * 2. TIF_NEED_RESCHED flag is checked on interrupt and userspace return
6665 * paths. For example, see arch/x86/entry_64.S.
6666 *
6667 * To drive preemption between tasks, the scheduler sets the flag in timer
6668 * interrupt handler sched_tick().
6669 *
6670 * 3. Wakeups don't really cause entry into schedule(). They add a
6671 * task to the run-queue and that's it.
6672 *
6673 * Now, if the new task added to the run-queue preempts the current
6674 * task, then the wakeup sets TIF_NEED_RESCHED and schedule() gets
6675 * called on the nearest possible occasion:
6676 *
6677 * - If the kernel is preemptible (CONFIG_PREEMPTION=y):
6678 *
6679 * - in syscall or exception context, at the next outmost
6680 * preempt_enable(). (this might be as soon as the wake_up()'s
6681 * spin_unlock()!)
6682 *
6683 * - in IRQ context, return from interrupt-handler to
6684 * preemptible context
6685 *
6686 * - If the kernel is not preemptible (CONFIG_PREEMPTION is not set)
6687 * then at the next:
6688 *
6689 * - cond_resched() call
6690 * - explicit schedule() call
6691 * - return from syscall or exception to user-space
6692 * - return from interrupt-handler to user-space
6693 *
6694 * WARNING: must be called with preemption disabled!
6695 */
6696 static void __sched notrace __schedule(int sched_mode)
6697 {
6698 struct task_struct *prev, *next;
6699 /*
6700 * On PREEMPT_RT kernel, SM_RTLOCK_WAIT is noted
6701 * as a preemption by schedule_debug() and RCU.
6702 */
6703 bool preempt = sched_mode > SM_NONE;
6704 bool is_switch = false;
6705 unsigned long *switch_count;
6706 unsigned long prev_state;
6707 struct rq_flags rf;
6708 struct rq *rq;
6709 int cpu;
6710
6711 trace_sched_entry_tp(preempt, CALLER_ADDR0);
6712
6713 cpu = smp_processor_id();
6714 rq = cpu_rq(cpu);
6715 prev = rq->curr;
6716
6717 schedule_debug(prev, preempt);
6718
6719 if (sched_feat(HRTICK) || sched_feat(HRTICK_DL))
6720 hrtick_clear(rq);
6721
6722 klp_sched_try_switch(prev);
6723
6724 local_irq_disable();
6725 rcu_note_context_switch(preempt);
6726
6727 /*
6728 * Make sure that signal_pending_state()->signal_pending() below
6729 * can't be reordered with __set_current_state(TASK_INTERRUPTIBLE)
6730 * done by the caller to avoid the race with signal_wake_up():
6731 *
6732 * __set_current_state(@state) signal_wake_up()
6733 * schedule() set_tsk_thread_flag(p, TIF_SIGPENDING)
6734 * wake_up_state(p, state)
6735 * LOCK rq->lock LOCK p->pi_state
6736 * smp_mb__after_spinlock() smp_mb__after_spinlock()
6737 * if (signal_pending_state()) if (p->state & @state)
6738 *
6739 * Also, the membarrier system call requires a full memory barrier
6740 * after coming from user-space, before storing to rq->curr; this
6741 * barrier matches a full barrier in the proximity of the membarrier
6742 * system call exit.
6743 */
6744 rq_lock(rq, &rf);
6745 smp_mb__after_spinlock();
6746
6747 /* Promote REQ to ACT */
6748 rq->clock_update_flags <<= 1;
6749 update_rq_clock(rq);
6750 rq->clock_update_flags = RQCF_UPDATED;
6751
6752 switch_count = &prev->nivcsw;
6753
6754 /* Task state changes only considers SM_PREEMPT as preemption */
6755 preempt = sched_mode == SM_PREEMPT;
6756
6757 /*
6758 * We must load prev->state once (task_struct::state is volatile), such
6759 * that we form a control dependency vs deactivate_task() below.
6760 */
6761 prev_state = READ_ONCE(prev->__state);
6762 if (sched_mode == SM_IDLE) {
6763 /* SCX must consult the BPF scheduler to tell if rq is empty */
6764 if (!rq->nr_running && !scx_enabled()) {
6765 next = prev;
6766 goto picked;
6767 }
6768 } else if (!preempt && prev_state) {
6769 /*
6770 * We pass task_is_blocked() as the should_block arg
6771 * in order to keep mutex-blocked tasks on the runqueue
6772 * for slection with proxy-exec (without proxy-exec
6773 * task_is_blocked() will always be false).
6774 */
6775 try_to_block_task(rq, prev, &prev_state,
6776 !task_is_blocked(prev));
6777 switch_count = &prev->nvcsw;
6778 }
6779
6780 pick_again:
> 6781 next = pick_next_task(rq, rq->donor, &rf);
6782 rq_set_donor(rq, next);
6783 if (unlikely(task_is_blocked(next))) {
6784 next = find_proxy_task(rq, next, &rf);
6785 if (!next)
6786 goto pick_again;
6787 }
6788 picked:
6789 clear_tsk_need_resched(prev);
6790 clear_preempt_need_resched();
6791 rq->last_seen_need_resched_ns = 0;
6792
6793 is_switch = prev != next;
6794 if (likely(is_switch)) {
6795 rq->nr_switches++;
6796 /*
6797 * RCU users of rcu_dereference(rq->curr) may not see
6798 * changes to task_struct made by pick_next_task().
6799 */
6800 RCU_INIT_POINTER(rq->curr, next);
6801 /*
6802 * The membarrier system call requires each architecture
6803 * to have a full memory barrier after updating
6804 * rq->curr, before returning to user-space.
6805 *
6806 * Here are the schemes providing that barrier on the
6807 * various architectures:
6808 * - mm ? switch_mm() : mmdrop() for x86, s390, sparc, PowerPC,
6809 * RISC-V. switch_mm() relies on membarrier_arch_switch_mm()
6810 * on PowerPC and on RISC-V.
6811 * - finish_lock_switch() for weakly-ordered
6812 * architectures where spin_unlock is a full barrier,
6813 * - switch_to() for arm64 (weakly-ordered, spin_unlock
6814 * is a RELEASE barrier),
6815 *
6816 * The barrier matches a full barrier in the proximity of
6817 * the membarrier system call entry.
6818 *
6819 * On RISC-V, this barrier pairing is also needed for the
6820 * SYNC_CORE command when switching between processes, cf.
6821 * the inline comments in membarrier_arch_switch_mm().
6822 */
6823 ++*switch_count;
6824
6825 migrate_disable_switch(rq, prev);
6826 psi_account_irqtime(rq, prev, next);
6827 psi_sched_switch(prev, next, !task_on_rq_queued(prev) ||
6828 prev->se.sched_delayed);
6829
6830 trace_sched_switch(preempt, prev, next, prev_state);
6831
6832 /* Also unlocks the rq: */
6833 rq = context_switch(rq, prev, next, &rf);
6834 } else {
6835 rq_unpin_lock(rq, &rf);
6836 __balance_callbacks(rq);
6837 raw_spin_rq_unlock_irq(rq);
6838 }
6839 trace_sched_exit_tp(is_switch, CALLER_ADDR0);
6840 }
6841
--
0-DAY CI Kernel Test Service
https://github.com/intel/lkp-tests/wiki
reply other threads:[~2026-03-22 17:21 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=202603230154.Gwpf8bHV-lkp@intel.com \
--to=lkp@intel.com \
--cc=jstultz@google.com \
--cc=linux-kernel@vger.kernel.org \
--cc=oe-kbuild-all@lists.linux.dev \
--cc=peterz@infradead.org \
/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 an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.