Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/iommu/amd/init.c __reuse_device_table() -> iommu_memremap()

Type Parameter Key Value
PARAM_VALUE 0 paddr 0,4096-u32max
PARAM_VALUE 1 size 4096-16777216
CAPPED_DATA 0 paddr 1
CAPPED_DATA 0 paddr 1
CAPPED_DATA 1 size 1
BIT_INFO 0 paddr 0x0,0xfffff000
BIT_INFO 0 paddr 0x0,0xfffffffffffff000
HARD_MAX 0 paddr u32max
HOST_DATA 0 paddr 0,4096-u32max[c]
HALF_LOCKED2 flags
HALF_LOCKED2 irq

drivers/iommu/amd/init.c remap_command_buffer() -> iommu_memremap()

Type Parameter Key Value
PARAM_VALUE 0 paddr 0,4096-4503599627366400
PARAM_VALUE 1 size 8192
BIT_INFO 0 paddr 0x0,0xffffffffff000
BIT_INFO 0 paddr 0x0,0xffffffffff000
HOST_DATA 0 paddr 0,4096-4503599627366400
HALF_LOCKED2 flags
HALF_LOCKED2 irq

drivers/iommu/amd/init.c remap_event_buffer() -> iommu_memremap()

Type Parameter Key Value
PARAM_VALUE 0 paddr 0,4096-4503599627366400
PARAM_VALUE 1 size 8192,524288
BIT_INFO 0 paddr 0x0,0xffffffffff000
BIT_INFO 0 paddr 0x0,0xffffffffff000
HOST_DATA 0 paddr 0,4096-4503599627366400
HALF_LOCKED2 flags
HALF_LOCKED2 irq

drivers/iommu/amd/init.c remap_or_alloc_cwwb_sem() -> iommu_memremap()

Type Parameter Key Value
PARAM_VALUE 0 paddr 0,4096-4503599627366400
PARAM_VALUE 1 size 4096
BIT_INFO 0 paddr 0x0,0xffffffffff000
BIT_INFO 0 paddr 0x0,0xffffffffff000
HOST_DATA 0 paddr 0,4096-4503599627366400
UNITS 1 size unit_byte
HALF_LOCKED2 flags
HALF_LOCKED2 irq