Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/phy/micrel.c lan8814_ptpci_enable() -> lan8814_ptp_extts()

Type Parameter Key Value
PARAM_VALUE 0 ptpci 4096-ptr_max
PARAM_VALUE 1 rq 3520102199486971904,7035655675704795136,8784548913005826048
PARAM_VALUE 1 rq->extts.flags 0-30
PARAM_VALUE 1 rq->perout.flags 0
PARAM_VALUE 1 rq->perout.on.nsec 0
PARAM_VALUE 1 rq->perout.on.reserved 0
PARAM_VALUE 1 rq->perout.on.sec 0
PARAM_VALUE 1 rq->perout.period.nsec 0
PARAM_VALUE 1 rq->perout.period.reserved 0
PARAM_VALUE 1 rq->perout.period.sec 0
PARAM_VALUE 1 rq->perout.phase.nsec 0
PARAM_VALUE 1 rq->perout.phase.reserved 0
PARAM_VALUE 1 rq->perout.phase.sec 0-4294967295
PARAM_VALUE 1 rq->perout.start.nsec 0
PARAM_VALUE 1 rq->perout.start.reserved 0
PARAM_VALUE 1 rq->perout.start.sec 0-4294967295
PARAM_VALUE 1 rq->type 0
PARAM_VALUE 2 on 0-1
DATA_SOURCE 0 ptpci $0
DATA_SOURCE 1 rq $1
DATA_SOURCE 2 on $2
FUZZY_MAX 2 on 1
HARD_MAX 2 on 1
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 ptpci->max_adj 125000000
HOST_DATA 0 ptpci->n_alarm s32min-4
HOST_DATA 0 ptpci->n_per_lp s32min-s32max
HOST_DATA 0 ptpci->n_pins s32min-(-1),1-s32max[c]
HOST_DATA 0 ptpci->pps s32min-s32max
HOST_DATA 0 ptpci->supported_extts_flags 0-u32max
HOST_DATA 0 ptpci->supported_perout_flags 0-u32max
USER_DATA 1 rq->extts.flags 0-30[c]
USER_DATA 1 rq->extts.index 0-4294967294[c]
NO_OVERFLOW_SIMPLE 0 ptpci->n_pins
HALF_LOCKED2 &of->mutex