Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/proc/inode.c proc_put_link() -> unuse_pde()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 0 | pde | 1-s32max |
| DATA_SOURCE | 0 | pde | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/proc/inode.c proc_reg_compat_ioctl() -> unuse_pde()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pde | 4096-ptr_max |
| PARAM_VALUE | 0 | pde->in_use.counter | 0-s32max |
| PARAM_VALUE | 0 | pde->proc_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | pde->proc_ops->proc_compat_ioctl | 0,1034920212665704448,1389656809311522816,7678563081153449984 |
| DATA_SOURCE | 0 | pde | r PDE |
| NOCHECK_CALL |
fs/proc/inode.c proc_reg_get_unmapped_area() -> unuse_pde()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pde | 4096-ptr_max |
| PARAM_VALUE | 0 | pde->in_use.counter | 0-s32max |
| PARAM_VALUE | 0 | pde->proc_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | pde->proc_ops->proc_get_unmapped_area | 0 |
| DATA_SOURCE | 0 | pde | r PDE |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/proc/inode.c proc_reg_llseek() -> unuse_pde()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pde | 4096-ptr_max |
| PARAM_VALUE | 0 | pde->in_use.counter | 0-s32max |
| PARAM_VALUE | 0 | pde->proc_ops | 4096-ptr_max |
| DATA_SOURCE | 0 | pde | r PDE |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/proc/inode.c proc_reg_mmap() -> unuse_pde()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pde | 4096-ptr_max |
| PARAM_VALUE | 0 | pde->in_use.counter | 0-s32max |
| PARAM_VALUE | 0 | pde->proc_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | pde->proc_ops->proc_mmap | 0,6443922438994690048,7298607471419908096,7334459671364534272 |
| DATA_SOURCE | 0 | pde | r PDE |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &ipcp->lock |
fs/proc/inode.c proc_reg_open() -> unuse_pde()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pde | 4096-ptr_max |
| PARAM_VALUE | 0 | pde->flags | 8-255 |
| PARAM_VALUE | 0 | pde->in_use.counter | 0-s32max |
| PARAM_VALUE | 0 | pde->proc_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | pde->proc_ops->proc_release | 0,4096-ptr_max |
| DATA_SOURCE | 0 | pde | r PDE |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/proc/inode.c proc_reg_poll() -> unuse_pde()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pde | 4096-ptr_max |
| PARAM_VALUE | 0 | pde->in_use.counter | 0-s32max |
| PARAM_VALUE | 0 | pde->proc_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | pde->proc_ops->proc_poll | 0,469235985121718272,2499732791502774272,2839734368715563008,3025934102555586560,5340151450097565696,7116436163422351360,7307788868989341696 |
| DATA_SOURCE | 0 | pde | r PDE |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &kvm->irq_srcu | ||
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | &vm->irqfds_lock | ||
| HALF_LOCKED2 | global &irqfds_srcu |
fs/proc/inode.c proc_reg_read() -> unuse_pde()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pde | 4096-ptr_max |
| PARAM_VALUE | 0 | pde->in_use.counter | 0-s32max |
| PARAM_VALUE | 0 | pde->proc_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | pde->proc_ops->proc_read | 0,4096-ptr_max |
| DATA_SOURCE | 0 | pde | r PDE |
| NOCHECK_CALL |
fs/proc/inode.c proc_reg_read_iter() -> unuse_pde()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pde | 4096-ptr_max |
| PARAM_VALUE | 0 | pde->in_use.counter | 0-s32max |
| PARAM_VALUE | 0 | pde->proc_ops | 4096-ptr_max |
| DATA_SOURCE | 0 | pde | r PDE |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
fs/proc/inode.c proc_reg_unlocked_ioctl() -> unuse_pde()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pde | 4096-ptr_max |
| PARAM_VALUE | 0 | pde->in_use.counter | 0-s32max |
| PARAM_VALUE | 0 | pde->proc_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | pde->proc_ops->proc_ioctl | 0,192554378629783552,980451495133339648,1389656809311522816,7678563081153449984,7686919409132437504,8954864539645706240 |
| DATA_SOURCE | 0 | pde | r PDE |
| NOCHECK_CALL |
fs/proc/inode.c proc_reg_write() -> unuse_pde()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pde | 4096-ptr_max |
| PARAM_VALUE | 0 | pde->in_use.counter | 0-s32max |
| PARAM_VALUE | 0 | pde->proc_ops | 4096-ptr_max |
| DATA_SOURCE | 0 | pde | r PDE |
| NOCHECK_CALL |