Defined in 2 files as a function:
- arch/s390/boot/startup.c, line 216 (as a function)
- arch/x86/kernel/head64.c, line 194 (as a function)
Referenced in 2 files:
Smatch caller information:
arch/x86/kernel/head64.c x86_64_start_kernel() -> copy_bootdata()
| Type | Parameter | Key | Value |
|---|---|---|---|
| NOCHECK_CALL |
arch/x86/kernel/head64.c x86_64_start_reservations() -> copy_bootdata()
| Type | Parameter | Key | Value |
|---|---|---|---|
| NOCHECK_CALL | |||
| HALF_LOCKED2 | irq |