Defined in 1 files as a member:
Defined in 4 files as a function:
- arch/x86/boot/compressed/ident_map_64.c, line 49 (as a function)
- arch/x86/kernel/acpi/madt_wakeup.c, line 63 (as a function)
- arch/x86/kernel/machine_kexec_64.c, line 224 (as a function)
- arch/x86/power/hibernate_64.c, line 85 (as a function)
Referenced in 5 files:
- arch/x86/boot/compressed/ident_map_64.c
- arch/x86/kernel/acpi/madt_wakeup.c
- arch/x86/kernel/machine_kexec_64.c
- arch/x86/mm/ident_map.c
- arch/x86/power/hibernate_64.c
Smatch caller information:
arch/x86/kernel/machine_kexec_64.c init_pgtable() -> alloc_pgt_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | context | 4096-ptr_max |
| DATA_SOURCE | 0 | context | $0 |
arch/x86/kernel/acpi/madt_wakeup.c acpi_mp_setup_reset() -> alloc_pgt_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | context | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
arch/x86/mm/init_64.c ident_p4d_init() -> (struct x86_mapping_info)->alloc_pgt_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| CONTAINER | 0 | *(-0+16) | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | global &device_hotplug_lock | ||
| HALF_LOCKED2 | global &system_transition_mutex | ||
| HALF_LOCKED2 | irq |
arch/x86/mm/init_64.c ident_pud_init() -> (struct x86_mapping_info)->alloc_pgt_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| CONTAINER | 0 | *(-0+16) | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | global &device_hotplug_lock | ||
| HALF_LOCKED2 | global &system_transition_mutex | ||
| HALF_LOCKED2 | irq |
arch/x86/mm/init_64.c kernel_ident_mapping_init() -> (struct x86_mapping_info)->alloc_pgt_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| CONTAINER | 0 | *(-0+16) | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | global &device_hotplug_lock | ||
| HALF_LOCKED2 | global &system_transition_mutex | ||
| HALF_LOCKED2 | irq |