Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/infiniband/hw/hfi1/user_exp_rcv.c hfi1_user_exp_rcv_setup() -> num_user_pages()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | len | 1-u32max |
| BIT_INFO | 0 | addr | 0x0,0xfffffffffffff000 |
| BIT_INFO | 0 | addr | 0x0,0xfffffffffffff000 |
| USER_DATA | 0 | addr | 0-u64max |
| USER_DATA | 1 | len | 1-u32max |
| UNITS | 0 | addr | unit_byte |
| UNITS | 1 | len | unit_byte |