Defined in 2 files as a prototype:
- arch/s390/kernel/entry.h, line 27 (as a prototype)
- arch/x86/include/asm/switch_to.h, line 9 (as a prototype)
Referenced in 6 files:
- arch/s390/kernel/entry.S
- arch/s390/kernel/process.c, line 198
- arch/x86/entry/entry_32.S
- arch/x86/entry/entry_64.S
- arch/x86/include/asm/switch_to.h, line 51
- arch/x86/kernel/callthunks.c, line 126
Smatch caller information:
kernel/sched/core.c context_switch() -> __switch_to_asm()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | $ | 4096-ptr_max |
| PARAM_VALUE | 0 | $->kcov_mode | 0,1073741824-u32max |
| PARAM_VALUE | 1 | $ | 4096-ptr_max |
| PARAM_VALUE | 1 | $->mm | 0,4096-ptr_max |
| PARAM_VALUE | 1 | $->on_cpu | 1 |
| PARAM_VALUE | 1 | $->rseq.event.sched_switch | 1 |
| CAPPED_DATA | 0 | $ | 1 |
| CAPPED_DATA | 1 | $ | 1 |
| CAPPED_DATA | 1 | $->mm | 1 |
| DATA_SOURCE | 0 | $ | $1 |
| DATA_SOURCE | 1 | $ | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | $ | unit_byte |
| UNITS | 1 | $ | unit_byte |
| LOCK2 | irq |