Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

block/sed-opal.c init_opal_dev() -> check_opal_support()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->cmd 4096-ptr_max
PARAM_VALUE 0 dev->data 4096-ptr_max
PARAM_VALUE 0 dev->dev_lock.dep_map->name 0-255
PARAM_VALUE 0 dev->dev_lock.first_waiter 0
PARAM_VALUE 0 dev->dev_lock.magic 4096-ptr_max
PARAM_VALUE 0 dev->dev_lock.osq.tail.counter 0
PARAM_VALUE 0 dev->dev_lock.owner.counter 0
PARAM_VALUE 0 dev->flags 0
PARAM_VALUE 0 dev->resp 4096-ptr_max
PARAM_VALUE 0 dev->send_recv 3660369217632292864,4544340789942165504
PARAM_VALUE 0 dev->unlk_lst.next 4096-ptr_max
PARAM_VALUE 0 dev->unlk_lst.next->next 4096-ptr_max
PARAM_VALUE 0 dev->unlk_lst.prev 4096-ptr_max
PARAM_VALUE 0 dev->unlk_lst.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->unlk_lst.prev->prev 4096-ptr_max
BUF_SIZE 0 dev 2328
BUF_SIZE 0 dev->cmd 2048
BUF_SIZE 0 dev->data (-1),1768
BUF_SIZE 0 dev->resp 2048
DATA_SOURCE 0 dev r _kmalloc_noprof
RX_PATH
TASK_NOT_RUNNING

block/sed-opal.c opal_get_geometry() -> check_opal_support()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->flags 1-u32max
DATA_SOURCE 0 dev $0
CAPABLE 0 21
BIT_INFO 0 dev->flags 0x1,0xffffffff

block/sed-opal.c opal_get_status() -> check_opal_support()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->flags 1-u32max
DATA_SOURCE 0 dev $0
CAPABLE 0 21
BIT_INFO 0 dev->flags 0x1,0xffffffff