Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
- drivers/infiniband/core/device.c, line 1676
- drivers/infiniband/sw/rxe/rxe.c, line 296
- drivers/infiniband/sw/siw/siw_main.c, line 496
Smatch caller information:
drivers/infiniband/sw/siw/siw_main.c siw_exit_module() -> ib_unregister_driver()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | driver_id | 18 |
| NOCHECK_CALL |
drivers/infiniband/sw/rxe/rxe.c rxe_module_exit() -> ib_unregister_driver()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | driver_id | 14 |
| NOCHECK_CALL |