Defined in 1 files as a function:

Referenced in 7 files:

Smatch caller information:

drivers/pps/clients/pps_parport.c parport_irq() -> pps_get_ts()

Type Parameter Key Value
PARAM_VALUE 0 ts 7077444293549096960
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &port->cad_lock
TYPE_LOCK (struct parport)->cad_lock

drivers/pps/clients/pps_parport.c parport_irq() -> pps_get_ts()

Type Parameter Key Value
PARAM_VALUE 0 ts 1163400926029754368
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &port->cad_lock
LOCK2 flags
TYPE_LOCK (struct parport)->cad_lock

drivers/net/ethernet/sfc/siena/ptp.c efx_ptp_send_times() -> pps_get_ts()

Type Parameter Key Value
PARAM_VALUE 0 ts 1810948042907385856
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/sfc/siena/ptp.c efx_ptp_send_times() -> pps_get_ts()

Type Parameter Key Value
PARAM_VALUE 0 ts 1810948042907385856
PARAM_VALUE 0 ts->ts_real.tv_nsec 0-999999999
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/sfc/ptp.c efx_ptp_send_times() -> pps_get_ts()

Type Parameter Key Value
PARAM_VALUE 0 ts 1928205838277611520
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/sfc/ptp.c efx_ptp_send_times() -> pps_get_ts()

Type Parameter Key Value
PARAM_VALUE 0 ts 1928205838277611520
PARAM_VALUE 0 ts->ts_real.tv_nsec 0-999999999
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/pps/clients/pps-ldisc.c pps_tty_dcd_change() -> pps_get_ts()

Type Parameter Key Value
PARAM_VALUE 0 ts 3960987878377713664
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &tty->ldisc_sem
TYPE_LOCK (struct tty_struct)->ldisc_sem

drivers/ptp/ptp_clock.c ptp_clock_event() -> pps_get_ts()

Type Parameter Key Value
PARAM_VALUE 0 ts 1692319286242095104
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &priv->lock

drivers/pps/clients/pps-gpio.c pps_gpio_irq_hardirq() -> pps_get_ts()

Type Parameter Key Value
PARAM_VALUE 0 ts 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/pps/clients/pps-ktimer.c pps_ktimer_event() -> pps_get_ts()

Type Parameter Key Value
PARAM_VALUE 0 ts 7019417833884241920
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL