Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/platform/raspberrypi/vchiq-interface/vchiq_dev.c vchiq_ioctl() -> close_delivered()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 0 | user_service | 235432 |
| BUF_SIZE | 0 | user_service | 235432 |
| NOCHECK_CALL |