Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kernel/acpi/madt_wakeup.c acpi_mp_setup_reset() -> kernel_ident_mapping_free()

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->free_pgt_page 4604479805635891200
PARAM_VALUE 0 info->offset 0
PARAM_VALUE 0 info->page_flag 483
PARAM_VALUE 1 pgd 1-u64max
DATA_SOURCE 1 pgd r alloc_pgt_page
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

arch/x86/kernel/acpi/madt_wakeup.c acpi_mp_setup_reset() -> kernel_ident_mapping_free()

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->free_pgt_page 4604479805635891200
PARAM_VALUE 0 info->offset 0
PARAM_VALUE 0 info->page_flag 483
PARAM_VALUE 1 pgd 1-u64max
DATA_SOURCE 1 pgd r alloc_pgt_page
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

arch/x86/kernel/acpi/madt_wakeup.c acpi_mp_setup_reset() -> kernel_ident_mapping_free()

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->free_pgt_page 4604479805635891200
PARAM_VALUE 0 info->page_flag 483
PARAM_VALUE 1 pgd 1-u64max
DATA_SOURCE 1 pgd r alloc_pgt_page
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL