Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/usb/mon/mon_main.c mon_bus_remove() -> mon_text_del()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mbus | 4096-ptr_max |
| PARAM_VALUE | 0 | mbus->text_inited | s32min-(-1),1-s32max |
| NOCHECK_CALL | |||
| LOCK2 | global &mon_lock |
drivers/usb/mon/mon_main.c mon_exit() -> mon_text_del()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mbus | 4096-2642249142801448959,2642249142801448961-ptr_max |
| PARAM_VALUE | 0 | mbus->text_inited | s32min-(-1),1-s32max |
| NOCHECK_CALL | |||
| LOCK2 | global &mon_lock |
drivers/usb/mon/mon_main.c mon_exit() -> mon_text_del()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mbus | 1080095320743976960 |
| PARAM_VALUE | 0 | mbus->bin_inited | 0-1 |
| PARAM_VALUE | 0 | mbus->classdev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | mbus->dent_s | 0,4096-u64max |
| PARAM_VALUE | 0 | mbus->dent_t | 0,4096-u64max |
| PARAM_VALUE | 0 | mbus->dent_u | 0,4096-u64max |
| PARAM_VALUE | 0 | mbus->nreaders | 0 |
| PARAM_VALUE | 0 | mbus->text_inited | 1 |
| PARAM_VALUE | 0 | mbus->u_bus | 0 |
| BUF_SIZE | 0 | mbus | 176 |
| NOCHECK_CALL | |||
| LOCK2 | global &mon_lock |