Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/acpi/prmt.c acpi_call_prm_handler() -> efi_call_acpi_prm_handler()

Type Parameter Key Value
PARAM_VALUE 1 param_buffer_addr 5836352566345773056,7565957614267764736,8327738356052434944
PARAM_VALUE 2 context 2048060363370221568
BUF_SIZE 1 param_buffer_addr 20,25
BUF_SIZE 2 context 40
DATA_SOURCE 1 param_buffer_addr $1
MEM_ZERO 2 context
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

drivers/acpi/prmt.c acpi_platformrt_space_handler() -> efi_call_acpi_prm_handler()

Type Parameter Key Value
PARAM_VALUE 0 handler_addr 1-u64max
PARAM_VALUE 2 context 2538928277277167616
BUF_SIZE 2 context 40
CONTAINER 0 *(-16+32) $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 context_mutex