Defined in 1 files as a function:
Referenced in 7 files:
- drivers/net/ethernet/sfc/ptp.c
- drivers/net/ethernet/sfc/siena/ptp.c
- drivers/pps/clients/pps-gpio.c, line 51
- drivers/pps/clients/pps-ktimer.c, line 33
- drivers/pps/clients/pps-ldisc.c, line 21
- drivers/pps/clients/pps_parport.c
- drivers/ptp/ptp_clock.c, line 570
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 |