Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/xen/setup.c xen_do_set_identity_and_remap_chunk() -> set_phys_range_identity()

Type Parameter Key Value
PARAM_VALUE 0 pfn_s 0-4504699138998269
PARAM_VALUE 1 pfn_e 1-4504699138998778
CAPPED_DATA 0 pfn_s 1
CAPPED_DATA 0 pfn_s 1
CAPPED_DATA 1 pfn_e 1
NOCHECK_CALL
LOCK2 irq

arch/x86/xen/setup.c xen_memory_setup() -> set_phys_range_identity()

Type Parameter Key Value
PARAM_VALUE 1 pfn_e u64max
NOCHECK_CALL
UNITS 0 pfn_s unit_page
LOCK2 irq

arch/x86/xen/setup.c xen_set_identity_and_release_chunk() -> set_phys_range_identity()

Type Parameter Key Value
PARAM_VALUE 0 pfn_s 0-1099511627775
PARAM_VALUE 1 pfn_e 1-4504699138998270
CAPPED_DATA 0 pfn_s 1
CAPPED_DATA 0 pfn_s 1
CAPPED_DATA 1 pfn_e 1
CAPPED_DATA 1 pfn_e 1
DATA_SOURCE 0 pfn_s $0
DATA_SOURCE 1 pfn_e $1
BIT_INFO 0 pfn_s 0x0,0x1fffffffffffff
NOCHECK_CALL
LOCK2 irq

arch/x86/xen/setup.c xen_set_identity_and_remap_chunk() -> set_phys_range_identity()

Type Parameter Key Value
PARAM_VALUE 0 pfn_s 0-9007199254740988
PARAM_VALUE 1 pfn_e 1-13510798882111483
CAPPED_DATA 0 pfn_s 1
CAPPED_DATA 0 pfn_s 1
NOCHECK_CALL
LOCK2 irq