Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/platform/x86/samsung-laptop.c samsung_init() -> samsung_sabi_init()

Type Parameter Key Value
PARAM_VALUE 0 samsung 4096-ptr_max
PARAM_VALUE 0 samsung->platform_device 4096-ptr_max
PARAM_VALUE 0 samsung->platform_device->dev.driver_data 4096-ptr_max
PARAM_VALUE 0 samsung->quirks 1525418754989367296
PARAM_VALUE 0 samsung->sabi_mutex.dep_map->name 0-255
PARAM_VALUE 0 samsung->sabi_mutex.first_waiter 0
PARAM_VALUE 0 samsung->sabi_mutex.magic 4096-ptr_max
PARAM_VALUE 0 samsung->sabi_mutex.osq.tail.counter 0
PARAM_VALUE 0 samsung->sabi_mutex.owner.counter 0
BUF_SIZE 0 samsung 1328
BUF_SIZE 0 samsung->quirks 3
DATA_SOURCE 0 samsung r _kzalloc_noprof