Defined in 1 files as a member:
Defined in 1 files as a function:
Referenced in 5 files:
- drivers/infiniband/hw/hfi1/driver.c
- drivers/input/joystick/xpad.c
-
drivers/net/hyperv/netvsc.c
- line 342
- line 381
- line 382
- line 383
- line 384
- line 386
- line 389
- line 392
- line 394
- line 406
- line 484
- line 485
- line 486
- line 487
- line 489
- line 491
- line 494
- line 496
- line 508
- line 512
- line 519
- line 557
- line 563
- line 564
- line 565
- line 566
- line 567
- line 570
- line 572
- line 581
- line 589
- line 590
- line 591
- line 592
- line 598
- line 601
- line 605
- line 607
- line 609
- line 627
- line 630
- line 634
- line 655
- line 662
- line 663
- line 666
- line 670
- line 673
- drivers/net/hyperv/rndis_filter.c
- drivers/pci/controller/pci-hyperv.c
Smatch caller information:
drivers/infiniband/hw/hfi1/driver.c handle_receive_interrupt() -> init_packet()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rcd | 4096-ptr_max |
| PARAM_VALUE | 0 | rcd->rcvhdrq | 1-u64max |
| PARAM_VALUE | 1 | packet | 2775324369589047296 |
| DATA_SOURCE | 0 | rcd | $0 |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/infiniband/hw/hfi1/driver.c handle_receive_interrupt_dma_rtail() -> init_packet()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rcd | 4096-ptr_max |
| PARAM_VALUE | 1 | packet | 8917837643760062464 |
| DATA_SOURCE | 0 | rcd | $0 |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/infiniband/hw/hfi1/driver.c handle_receive_interrupt_napi_fp() -> init_packet()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rcd | 4096-ptr_max |
| PARAM_VALUE | 1 | packet | 8041790189294186496 |
| DATA_SOURCE | 0 | rcd | $0 |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/infiniband/hw/hfi1/driver.c handle_receive_interrupt_napi_sp() -> init_packet()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rcd | 4096-ptr_max |
| PARAM_VALUE | 1 | packet | 3094529792514850816 |
| DATA_SOURCE | 0 | rcd | $0 |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/infiniband/hw/hfi1/driver.c handle_receive_interrupt_nodma_rtail() -> init_packet()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rcd | 4096-ptr_max |
| PARAM_VALUE | 1 | packet | 6593409613815103488 |
| DATA_SOURCE | 0 | rcd | $0 |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/infiniband/hw/hfi1/driver.c seqfile_dump_rcd() -> init_packet()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rcd | 4096-ptr_max |
| PARAM_VALUE | 1 | packet | 2394377138077044736 |
| DATA_SOURCE | 0 | rcd | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &s->lock | ||
| TYPE_LOCK | (struct seq_file)->lock |