Defined in 1 files as a member:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/dma/ioat/dca.c system_has_dca_enabled() -> dca_enabled_in_bios()

Type Parameter Key Value
PARAM_VALUE 0 pdev 4096-ptr_max
PARAM_VALUE 0 pdev->driver 4096-ptr_max
PARAM_VALUE 0 pdev->is_managed 1
PARAM_VALUE 0 pdev->is_virtfn 0
BUF_SIZE 0 pdev (-1),1-s32max
BUF_SIZE 0 pdev (-1),1-s32max
DATA_SOURCE 0 pdev $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 pdev->current_state 0-3[c]
HALF_LOCKED2 &pool->lock