Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/acpi/numa/hmat.c hmat_callback() -> hmat_hotplug_target()

Type Parameter Key Value
PARAM_VALUE 0 target 4096-ptr_max
CAPPED_DATA 0 target->memory_pxm 1
DATA_SOURCE 0 target r find_mem_target
NOCHECK_CALL

drivers/acpi/numa/hmat.c hmat_register_target() -> hmat_hotplug_target()

Type Parameter Key Value
PARAM_VALUE 0 target 4096-ptr_max
PARAM_VALUE 0 target->gen_port_device_handle 4096-ptr_max
PARAM_VALUE 0 target->memregions.child 0,4096-ptr_max
PARAM_VALUE 0 *target->gen_port_device_handle 0
DATA_SOURCE 0 target $0
NOCHECK_CALL
LOCK2 _T->lock