Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/resource.c release_mem_region_adjustable() -> reparent_children_after_split()

Type Parameter Key Value
PARAM_VALUE 0 low 4096-ptr_max
PARAM_VALUE 1 high 4096-ptr_max
PARAM_VALUE 1 high->child 0
PARAM_VALUE 1 high->flags 2147483648-u64max
PARAM_VALUE 2 split_addr 1-u64max
BUF_SIZE 1 high 64
CAPPED_DATA 0 low->start 1
CAPPED_DATA 1 high->start 1
CAPPED_DATA 2 split_addr 1
CAPPED_DATA 2 split_addr 1
PARAM_COMPARE 0 low->end > $0->start
PARAM_COMPARE 2 split_addr < $0->end
PARAM_COMPARE 2 split_addr < $0->end
PARAM_COMPARE 2 split_addr > $0->start
PARAM_COMPARE 2 split_addr > $0->start
BIT_INFO 0 low->flags 0x80000200,0xffffffffffffffff
BIT_INFO 1 high->flags 0x80000200,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 split_addr unit_byte
LOCK2 global &resource_lock
HALF_LOCKED2 global &device_hotplug_lock