Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/can/m_can/m_can.c m_can_handle_lec_err() -> m_can_get_timestamp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cdev | 4096-ptr_max |
| PARAM_VALUE | 0 | cdev->is_peripheral | s32min-(-1),1-s32max |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/net/can/m_can/m_can.c m_can_handle_lost_msg() -> m_can_get_timestamp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cdev | 4096-ptr_max |
| PARAM_VALUE | 0 | cdev->is_peripheral | s32min-(-1),1-s32max |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/net/can/m_can/m_can.c m_can_handle_protocol_error() -> m_can_get_timestamp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cdev | 4096-ptr_max |
| PARAM_VALUE | 0 | cdev->is_peripheral | s32min-(-1),1-s32max |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/net/can/m_can/m_can.c m_can_handle_state_change() -> m_can_get_timestamp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cdev | 4096-ptr_max |
| PARAM_VALUE | 0 | cdev->is_peripheral | s32min-(-1),1-s32max |
| PARAM_VALUE | 0 | cdev->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | cdev->ops->read_reg | 4096-ptr_max |
| PARAM_VALUE | 0 | cdev->ops->write_reg | 4096-ptr_max |
| PARAM_VALUE | 0 | *cdev->net->name | 0-255 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/net/can/m_can/m_can.c m_can_interrupt_handler() -> m_can_get_timestamp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cdev | 4096-ptr_max |
| PARAM_VALUE | 0 | cdev->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | cdev->is_peripheral | s32min-(-1),1-s32max |
| PARAM_VALUE | 0 | cdev->net | 4096-ptr_max |
| PARAM_VALUE | 0 | cdev->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | cdev->ops->clear_interrupts | 0,4623121929683243008 |
| PARAM_VALUE | 0 | cdev->ops->read_reg | 4096-ptr_max |
| PARAM_VALUE | 0 | cdev->ops->write_reg | 4096-ptr_max |
| PARAM_VALUE | 0 | cdev->version | 30 |
| DATA_SOURCE | 0 | cdev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | cdev->irqstatus | 1-u32max |
| HALF_LOCKED2 | irq |