Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/iommu/omap-iommu-debug.c debug_read_regs() -> omap_iommu_dump_ctx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | obj | 4096-ptr_max |
| PARAM_VALUE | 0 | obj->domain | 1-u64max |
| PARAM_VALUE | 1 | buf | 16,4096-ptr_max |
| PARAM_VALUE | 2 | bytes | 0-4000000 |
| BUF_SIZE | 0 | obj | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | obj | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | buf | 0-1000000000,2147479552 |
| BUF_SIZE | 1 | buf | 0-1000000000,2147479552 |
| DATA_SOURCE | 2 | bytes | $2 |
| USER_DATA | 2 | bytes | 0-4000000 |
| BYTE_COUNT | 1 | ==buf2 | 8050 |
| LOCK2 | global &iommu_debug_lock |