Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 10 files:

Smatch caller information:

drivers/pci/setup-res.c pcibios_align_resource() -> pci_align_resource()

Type Parameter Key Value
PARAM_VALUE 1 res 1917258572891131904
PARAM_VALUE 2 empty_res 6073588794836238336
BUF_SIZE 0 dev (-1),24
BUF_SIZE 0 dev (-1),24
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 res $1
DATA_SOURCE 2 empty_res $2
DATA_SOURCE 3 size $3
DATA_SOURCE 4 align $4
RX_PATH
TASK_NOT_RUNNING
USER_DATA 3 size 1-9223372032559808512[c]
NO_OVERFLOW_SIMPLE 1 res->end
NO_OVERFLOW_SIMPLE 2 empty_res->end
NO_OVERFLOW_SIMPLE 2 empty_res->start
NO_OVERFLOW_SIMPLE 3 size
UNITS 0 dev unit_byte
UNITS 3 size unit_byte
UNITS 4 align unit_byte
LOCK2 global &resource_lock
HALF_LOCKED2 &evdev->mutex
HALF_LOCKED2 &s->ops_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &balloon_mutex
HALF_LOCKED2 global &gpmc_mem_lock
HALF_LOCKED2 global &list_lock

arch/x86/pci/i386.c pcibios_align_resource() -> pci_align_resource()

Type Parameter Key Value
PARAM_VALUE 1 res 1917258572891131904
PARAM_VALUE 1 res->flags 512-u64max
PARAM_VALUE 2 empty_res 6073588794836238336
BUF_SIZE 0 dev (-1),24
BUF_SIZE 0 dev (-1),24
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 res $1
DATA_SOURCE 2 empty_res $2
DATA_SOURCE 3 size $3
DATA_SOURCE 4 align $4
BIT_INFO 1 res->flags 0x200,0xfffffffffffffeff
RX_PATH
TASK_NOT_RUNNING
USER_DATA 3 size 1-9223372032559808512[c]
NO_OVERFLOW_SIMPLE 1 res->end
NO_OVERFLOW_SIMPLE 2 empty_res->end
NO_OVERFLOW_SIMPLE 2 empty_res->start
NO_OVERFLOW_SIMPLE 3 size
UNITS 0 dev unit_byte
UNITS 3 size unit_byte
UNITS 4 align unit_byte
LOCK2 global &resource_lock
HALF_LOCKED2 &evdev->mutex
HALF_LOCKED2 &s->ops_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &balloon_mutex
HALF_LOCKED2 global &gpmc_mem_lock
HALF_LOCKED2 global &list_lock