Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/xen/grant-table.c gnttab_dma_alloc_pages() -> xenmem_reservation_decrease()

Type Parameter Key Value
PARAM_VALUE 0 count 1-65536
PARAM_VALUE 1 frames 16,4096-ptr_max
BUF_SIZE 1 frames 8-524288
NOSPEC 0 count
NOSPEC 0 count
USER_DATA 0 count 2-65536[c]
NO_OVERFLOW_SIMPLE 0 count
UNITS 0 count unit_page

drivers/xen/balloon.c decrease_reservation() -> xenmem_reservation_decrease()

Type Parameter Key Value
PARAM_VALUE 0 count 0-512
PARAM_VALUE 1 frames 4096-ptr_max
BUF_SIZE 1 frames 4096
CAPPED_DATA 0 count 1
DATA_SOURCE 0 count $0 [m]
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 count 2-512[c]
UNITS 0 count unit_array_size
LOCK2 global &balloon_mutex