Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/phy/dp83640.c dp83640_probe() -> dp83640_clock_put()

Type Parameter Key Value
PARAM_VALUE 0 clock 4096-ptr_max
PARAM_VALUE 0 clock->phylist.prev 4096-ptr_max
PARAM_VALUE 0 clock->phylist.prev->next 4096-ptr_max
PARAM_VALUE 0 clock->phylist.prev->next->next 4096-ptr_max
BUF_SIZE 0 clock (-1)-0,576
BUF_SIZE 0 clock (-1)-0,576
BUF_SIZE 0 clock->chosen 3160,u64max
BUF_SIZE 0 clock->ptp_clock (-1),2928
DATA_SOURCE 0 clock r dp83640_clock_get_bus
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 clock->ptp_clock->clock.cdev.count
NO_OVERFLOW_SIMPLE 0 clock->ptp_clock->info->n_pins
LOCK2 &clock->clock_lock

drivers/net/phy/dp83640.c dp83640_probe() -> dp83640_clock_put()

Type Parameter Key Value
PARAM_VALUE 0 clock 4096-ptr_max
PARAM_VALUE 0 clock->chosen 0
PARAM_VALUE 0 clock->ptp_clock (-4095)-(-1)
BUF_SIZE 0 clock (-1)-0,576
BUF_SIZE 0 clock (-1)-0,576
BUF_SIZE 0 clock->ptp_clock (-1),8,96,128,248,1296
CAPPED_DATA 0 clock->ptp_clock 1
DATA_SOURCE 0 clock r dp83640_clock_get_bus
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 clock->ptp_clock->clock.cdev.count
NO_OVERFLOW_SIMPLE 0 clock->ptp_clock->info->n_pins
LOCK2 &clock->clock_lock

drivers/net/phy/dp83640.c dp83640_remove() -> dp83640_clock_put()

Type Parameter Key Value
PARAM_VALUE 0 clock 4096-ptr_max
CAPPED_DATA 0 &clock->phylist 1
DATA_SOURCE 0 clock r dp83640_clock_get
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dp83640->clock->clock_lock