Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/infiniband/hw/mlx5/odp.c find_odp_mkey() -> mkey_is_eq()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mmkey | 1-1025,1027-1029,1031-u64max |
| DATA_SOURCE | 0 | mmkey | r xa_load |
| DATA_SOURCE | 1 | key | $1 |
| PREEMPT_ADD | <- disables preempt | ||
| LOCK2 | &(&dev->odp_mkeys)->xa_lock | ||
| HALF_LOCKED2 | &pool->lock |