Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/percpu.c pcpu_chunk_addr_search() -> pcpu_addr_to_page()

Type Parameter Key Value
PARAM_VALUE 0 addr 4096-ptr_max
DATA_SOURCE 0 addr $0

mm/percpu.c per_cpu_ptr_to_phys() -> pcpu_addr_to_page()

Type Parameter Key Value
BUF_SIZE 0 addr (-1),128,16384
BUF_SIZE 0 addr (-1),128,16384
DATA_SOURCE 0 addr $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 addr unit_byte
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 irq