Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/ntb/core.c ntb_msg_event() -> (struct ntb_ctx_ops)->msg_event()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 0 | ctx | 216,224-30704 |
| CONTAINER | 0 | *(-16-1648+1640) | $(-1) |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &ntb->ctx_lock | ||
| LOCK2 | irqflags | ||
| HALF_LOCKED2 | _T->lock | ||
| TYPE_LOCK | (struct ntb_dev)->ctx_lock |