Defined in 5 files as a prototype:
- arch/arm/include/asm/io.h, line 425 (as a prototype)
- arch/arm64/include/asm/io.h, line 330 (as a prototype)
- arch/loongarch/include/asm/io.h, line 88 (as a prototype)
- arch/sh/include/asm/io.h, line 288 (as a prototype)
- arch/x86/include/asm/io.h, line 113 (as a prototype)
Defined in 6 files as a function:
- arch/arm/mm/mmap.c, line 151 (as a function)
- arch/arm64/mm/mmap.c, line 43 (as a function)
- arch/loongarch/mm/mmap.c, line 133 (as a function)
- arch/sh/mm/mmap.c, line 171 (as a function)
- arch/x86/mm/mmap.c, line 206 (as a function)
- drivers/char/mem.c, line 48 (as a function)
Referenced in 1 files:
Smatch caller information:
drivers/char/mem.c read_mem() -> valid_phys_addr_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 0-1000000000 |
| PARAM_VALUE | 1 | count | 0-1000000000,2147479552 |
| CAPPED_DATA | 0 | addr | 1 |
| CAPPED_DATA | 0 | addr | 1 |
| DATA_SOURCE | 1 | count | $2 |
| FUZZY_MAX | 1 | count | 2147479552 |
| USER_DATA | 0 | addr | 0-1000000000 |
| USER_DATA | 1 | count | 0-1000000000 |
drivers/char/mem.c write_mem() -> valid_phys_addr_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 0-1000000000 |
| PARAM_VALUE | 1 | count | 0-1000000000,2147479552 |
| CAPPED_DATA | 0 | addr | 1 |
| CAPPED_DATA | 0 | addr | 1 |
| DATA_SOURCE | 1 | count | $2 |
| FUZZY_MAX | 1 | count | 2147479552 |
| USER_DATA | 0 | addr | 0-1000000000 |
| USER_DATA | 1 | count | 0-1000000000 |