Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 4 files:
- arch/x86/boot/compressed/ident_map_64.c, line 104
- arch/x86/kernel/acpi/madt_wakeup.c
- arch/x86/kernel/machine_kexec_64.c
- arch/x86/power/hibernate_64.c, line 116
Smatch caller information:
arch/x86/kernel/machine_kexec_64.c init_pgtable() -> kernel_ident_mapping_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | info | 5504059024806223872 |
| PARAM_VALUE | 0 | info->alloc_pgt_page | 6817514600763633664 |
| PARAM_VALUE | 0 | info->context | 4096-ptr_max |
| PARAM_VALUE | 0 | info->offset | 0 |
| PARAM_VALUE | 1 | pgd_page | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 2 | pstart | 0,4096-18446744073709547520 |
| PARAM_VALUE | 3 | pend | 0,4096-18446744073709547520 |
| DATA_SOURCE | 1 | pgd_page | r alloc_pgt_page |
| BIT_INFO | 2 | pstart | 0x0,0xfffffffffffff000 |
| BIT_INFO | 2 | pstart | 0x0,0xfffffffffffff000 |
| BIT_INFO | 3 | pend | 0x0,0xfffffffffffff000 |
| BIT_INFO | 3 | pend | 0x0,0xfffffffffffff000 |
| UNITS | 2 | pstart | unit_byte |
| UNITS | 3 | pend | unit_byte |
arch/x86/kernel/machine_kexec_64.c init_pgtable() -> kernel_ident_mapping_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | info | 5504059024806223872 |
| PARAM_VALUE | 0 | info->alloc_pgt_page | 6817514600763633664 |
| PARAM_VALUE | 0 | info->context | 4096-ptr_max |
| PARAM_VALUE | 0 | info->offset | 0 |
| PARAM_VALUE | 1 | pgd_page | 18379471554275704832,18446612682070032384 |
| DATA_SOURCE | 1 | pgd_page | r alloc_pgt_page |
| PARAM_COMPARE | 2 | pstart | <= $3 |
| PARAM_COMPARE | 3 | pend | >= $2 |
| PARAM_COMPARE | 3 | pend | >= $2 |
| UNITS | 2 | pstart | unit_byte |
| UNITS | 3 | pend | unit_byte |
arch/x86/kernel/machine_kexec_64.c map_efi_systab() -> kernel_ident_mapping_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | info | 5504059024806223872 |
| PARAM_VALUE | 0 | info->alloc_pgt_page | 6817514600763633664 |
| PARAM_VALUE | 0 | info->context | 4096-ptr_max |
| PARAM_VALUE | 0 | info->offset | 0 |
| PARAM_VALUE | 1 | pgd_page | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 2 | pstart | 1-u64max |
| DATA_SOURCE | 0 | info | $0 |
| DATA_SOURCE | 1 | pgd_page | $1 |
| PARAM_COMPARE | 2 | pstart | < $3 |
| PARAM_COMPARE | 3 | pend | > $2 |
| PARAM_COMPARE | 3 | pend | > $2 |
| UNITS | 2 | pstart | unit_byte |
| UNITS | 3 | pend | unit_byte |
arch/x86/kernel/machine_kexec_64.c map_efi_systab() -> kernel_ident_mapping_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | info | 5504059024806223872 |
| PARAM_VALUE | 0 | info->alloc_pgt_page | 6817514600763633664 |
| PARAM_VALUE | 0 | info->context | 4096-ptr_max |
| PARAM_VALUE | 0 | info->offset | 0 |
| PARAM_VALUE | 1 | pgd_page | 18379471554275704832,18446612682070032384 |
| DATA_SOURCE | 0 | info | $0 |
| DATA_SOURCE | 1 | pgd_page | $1 |
| PARAM_COMPARE | 2 | pstart | <= $3 |
| PARAM_COMPARE | 3 | pend | >= $2 |
| PARAM_COMPARE | 3 | pend | >= $2 |
| UNITS | 2 | pstart | unit_byte |
| UNITS | 3 | pend | unit_byte |
arch/x86/kernel/machine_kexec_64.c map_mmio_serial() -> kernel_ident_mapping_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | info | 5504059024806223872 |
| PARAM_VALUE | 0 | info->alloc_pgt_page | 6817514600763633664 |
| PARAM_VALUE | 0 | info->context | 4096-ptr_max |
| PARAM_VALUE | 0 | info->offset | 0 |
| PARAM_VALUE | 1 | pgd_page | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 2 | pstart | 0,4096-4294963200 |
| PARAM_VALUE | 3 | pend | 0,4096-4294971392 |
| DATA_SOURCE | 0 | info | $0 |
| DATA_SOURCE | 1 | pgd_page | $1 |
| BIT_INFO | 2 | pstart | 0x0,0xfffff000 |
| BIT_INFO | 2 | pstart | 0x0,0xfffff000 |
| BIT_INFO | 3 | pend | 0x0,0x1fffff000 |
| BIT_INFO | 3 | pend | 0x0,0x1fffff000 |
arch/x86/kernel/machine_kexec_64.c mem_region_callback() -> kernel_ident_mapping_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING |
arch/x86/kernel/acpi/madt_wakeup.c acpi_mp_setup_reset() -> kernel_ident_mapping_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | info | 803230892933287936 |
| PARAM_VALUE | 0 | info->alloc_pgt_page | 2050201745698754560 |
| PARAM_VALUE | 0 | info->context | 0 |
| PARAM_VALUE | 0 | info->direct_gbpages | 0 |
| PARAM_VALUE | 0 | info->free_pgt_page | 4604479805635891200 |
| PARAM_VALUE | 0 | info->offset | 0 |
| PARAM_VALUE | 0 | info->page_flag | 483 |
| PARAM_VALUE | 1 | pgd_page | 1-u64max |
| PARAM_VALUE | 2 | pstart | 0,4096-18446744073709547520 |
| PARAM_VALUE | 3 | pend | 0,4096-18446744073709547520 |
| DATA_SOURCE | 1 | pgd_page | r alloc_pgt_page |
| BIT_INFO | 2 | pstart | 0x0,0xfffffffffffff000 |
| BIT_INFO | 2 | pstart | 0x0,0xfffffffffffff000 |
| BIT_INFO | 3 | pend | 0x0,0xfffffffffffff000 |
| BIT_INFO | 3 | pend | 0x0,0xfffffffffffff000 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 2 | pstart | unit_byte |
| UNITS | 3 | pend | unit_byte |
arch/x86/kernel/acpi/madt_wakeup.c acpi_mp_setup_reset() -> kernel_ident_mapping_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | info | 803230892933287936 |
| PARAM_VALUE | 0 | info->alloc_pgt_page | 2050201745698754560 |
| PARAM_VALUE | 0 | info->context | 0 |
| PARAM_VALUE | 0 | info->direct_gbpages | 0 |
| PARAM_VALUE | 0 | info->free_pgt_page | 4604479805635891200 |
| PARAM_VALUE | 0 | info->offset | 0 |
| PARAM_VALUE | 0 | info->page_flag | 483 |
| PARAM_VALUE | 1 | pgd_page | 1-u64max |
| PARAM_VALUE | 2 | pstart | 0,4096-u64max |
| PARAM_VALUE | 3 | pend | 4096 |
| DATA_SOURCE | 1 | pgd_page | r alloc_pgt_page |
| PARAM_COMPARE | 2 | pstart | < $3 |
| PARAM_COMPARE | 3 | pend | == $2 |
| PARAM_COMPARE | 3 | pend | > $2 |
| PARAM_COMPARE | 3 | pend | > $2 |
| BIT_INFO | 2 | pstart | 0x0,0xfffffffffffff000 |
| BIT_INFO | 2 | pstart | 0x0,0xfffffffffffff000 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 2 | pstart | unit_byte |
| UNITS | 3 | pend | unit_byte |
arch/x86/kernel/acpi/madt_wakeup.c acpi_mp_setup_reset() -> kernel_ident_mapping_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | info | 803230892933287936 |
| PARAM_VALUE | 0 | info->alloc_pgt_page | 2050201745698754560 |
| PARAM_VALUE | 0 | info->context | 0 |
| PARAM_VALUE | 0 | info->direct_gbpages | 0 |
| PARAM_VALUE | 0 | info->free_pgt_page | 4604479805635891200 |
| PARAM_VALUE | 0 | info->page_flag | 483 |
| PARAM_VALUE | 1 | pgd_page | 1-u64max |
| PARAM_VALUE | 2 | pstart | 0,4096-u64max |
| PARAM_VALUE | 3 | pend | 4096 |
| CAPPED_DATA | 2 | pstart | 1 |
| CAPPED_DATA | 2 | pstart | 1 |
| DATA_SOURCE | 1 | pgd_page | r alloc_pgt_page |
| PARAM_COMPARE | 2 | pstart | < $3 |
| PARAM_COMPARE | 3 | pend | == $2 |
| PARAM_COMPARE | 3 | pend | > $2 |
| PARAM_COMPARE | 3 | pend | > $2 |
| BIT_INFO | 2 | pstart | 0x0,0xfffffffffffff000 |
| BIT_INFO | 2 | pstart | 0x0,0xfffffffffffff000 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 2 | pstart | unit_byte |
| UNITS | 3 | pend | unit_byte |
arch/x86/power/hibernate_64.c set_up_temporary_mappings() -> kernel_ident_mapping_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | info | 548456122654982144 |
| PARAM_VALUE | 0 | info->alloc_pgt_page | 6981197001859096576 |
| PARAM_VALUE | 0 | info->context | 0 |
| PARAM_VALUE | 0 | info->direct_gbpages | 0 |
| PARAM_VALUE | 0 | info->offset | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | info->page_flag | 483 |
| PARAM_VALUE | 1 | pgd_page | 4096-ptr_max |
| PARAM_VALUE | 2 | pstart | 0,4096-18446744073709547520 |
| PARAM_VALUE | 3 | pend | 0,4096-18446744073709547520 |
| CAPPED_DATA | 1 | pgd_page | 1 |
| DATA_SOURCE | 1 | pgd_page | r get_safe_page |
| BIT_INFO | 2 | pstart | 0x0,0xfffffffffffff000 |
| BIT_INFO | 2 | pstart | 0x0,0xfffffffffffff000 |
| BIT_INFO | 3 | pend | 0x0,0xfffffffffffff000 |
| BIT_INFO | 3 | pend | 0x0,0xfffffffffffff000 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 2 | pstart | unit_byte |
| UNITS | 3 | pend | unit_byte |
| LOCK2 | global &device_hotplug_lock | ||
| LOCK2 | global &system_transition_mutex | ||
| LOCK2 | irq |