Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/page_alloc.c alloc_pages_exact_nid_noprof() -> make_alloc_exact()

Type Parameter Key Value
PARAM_VALUE 0 addr 18379471554275704832,18446612682070032384
PARAM_VALUE 1 order 0-10
DATA_SOURCE 1 order r get_order
DATA_SOURCE 2 size $1

mm/page_alloc.c alloc_pages_exact_noprof() -> make_alloc_exact()

Type Parameter Key Value
PARAM_VALUE 0 addr 0,18379471554275704832,18446612682070032384
PARAM_VALUE 1 order 0-32
CAPPED_DATA 1 order 1
DATA_SOURCE 0 addr r get_free_pages_noprof
DATA_SOURCE 1 order r get_order
DATA_SOURCE 2 size $0
NOSPEC 2 size
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 2 size 0-68719476736[c]
USER_DATA 2 size 0-4294967296[c]
UNITS 2 size unit_byte
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pcm->open_mutex
HALF_LOCKED2 &runtime->buffer_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &hfi_instance_lock
HALF_LOCKED2 global &xenwatch_mutex