Defined in 1 files as a function:
Referenced in 32 files:
- arch/arc/kernel/entry-arcv2.S, line 175
- arch/arc/kernel/entry-compact.S, line 307
- arch/arm/include/debug/brcmstb.S, line 50
- arch/arm/include/debug/omap2plus.S, line 32
- arch/arm/include/debug/tegra.S, line 70
- arch/m68k/fpsp040/bugfix.S
- arch/m68k/fpsp040/decbin.S, line 195
- arch/m68k/fpsp040/get_op.S, line 278
- arch/m68k/fpsp040/kernel_ex.S, line 381
- arch/m68k/fpsp040/res_func.S
- arch/m68k/fpsp040/round.S
- arch/m68k/fpsp040/x_fline.S, line 45
- arch/m68k/fpsp040/x_unfl.S
- arch/m68k/ifpsp060/fskeleton.S
- arch/m68k/ifpsp060/src/fpsp.S
- arch/m68k/ifpsp060/src/pfpsp.S, line 13109
- arch/m68k/math-emu/fp_util.S
- arch/mips/kernel/entry.S
- arch/s390/kernel/entry.S, line 484
- arch/x86/boot/header.S, line 313
- drivers/infiniband/hw/irdma/cm.c, line 2652
- drivers/net/ethernet/sfc/falcon/farch.c, line 1729
- drivers/net/ethernet/sfc/siena/farch.c, line 1820
- drivers/net/ethernet/sun/cassini.h
- net/ipv4/tcp_htcp.c, line 154
- net/ipv4/tcp_input.c
- net/ipv4/tcp_ipv4.c, line 557
- net/ipv4/tcp_minisocks.c, line 709
- net/ipv4/tcp_output.c, line 4599
- net/ipv6/tcp_ipv6.c, line 465
- net/tls/tls_device.c, line 645
- tools/testing/selftests/kvm/x86/nested_tsc_scaling_test.c, line 49
Smatch caller information:
net/ipv4/tcp_ipv4.c tcp_v4_err() -> between()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PREEMPT_ADD | <- disables preempt | ||
| USER_DATA | 0 | seq1 | 0-u32max[u] |
| UNITS | 0 | seq1 | unit_byte |
| UNITS | 1 | seq2 | unit_byte |
| UNITS | 2 | seq3 | unit_byte |
| LOCK2 | &sk->sk_lock.slock | ||
| TYPE_LOCK | (struct socket_lock_t)->slock |
drivers/infiniband/hw/irdma/cm.c irdma_check_seq() -> between()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | seq1 | 0-u32max |
| UNITS | 0 | seq1 | unit_byte |
| UNITS | 1 | seq2 | unit_byte |
| UNITS | 2 | seq3 | unit_byte |
| LOCK2 | &dev->puda_cq_lock | ||
| LOCK2 | irq | ||
| HALF_LOCKED2 | bh | ||
| TYPE_LOCK | (struct irdma_sc_dev)->puda_cq_lock |
net/ipv4/tcp_input.c tcp_clean_rtx_queue() -> between()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 1 | seq2 | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | seq1 | unit_byte |
| UNITS | 1 | seq2 | unit_byte |
| UNITS | 2 | seq3 | unit_byte |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/ipv4/tcp_input.c tcp_rcv_synsent_state_process() -> between()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | seq1 | 1-u32max |
net/ipv4/tcp_htcp.c htcp_beta_update() -> between()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &sk->sk_callback_lock | ||
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/tls/tls_device.c tls_get_record() -> between()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | seq1 | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | seq1 | 0-u32max |
| UNITS | 0 | seq1 | unit_byte |
| UNITS | 2 | seq3 | unit_byte |
| LOCK2 | &context->lock | ||
| HALF_LOCKED2 | flags | ||
| TYPE_LOCK | (struct tls_offload_context_tx)->lock |
net/ipv4/tcp_minisocks.c tcp_check_req() -> between()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | seq1 | 1-255 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
net/ipv6/tcp_ipv6.c tcp_v6_err() -> between()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PREEMPT_ADD | <- disables preempt | ||
| USER_DATA | 0 | seq1 | 0-u32max[u] |
| UNITS | 0 | seq1 | unit_byte |
| UNITS | 1 | seq2 | unit_byte |
| UNITS | 2 | seq3 | unit_byte |
| LOCK2 | &sk->sk_lock.slock | ||
| TYPE_LOCK | (struct socket_lock_t)->slock |
net/ipv4/tcp_output.c tcp_write_wakeup() -> between()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | seq1 | unit_byte |
| UNITS | 1 | seq2 | unit_byte |
| UNITS | 2 | seq3 | unit_byte |
| HALF_LOCKED2 | &sk->sk_lock.slock |