Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kernel/apic/x2apic_uv_x.c decode_arch_type() -> uv_stringify()

Type Parameter Key Value
PARAM_VALUE 0 len 9
PARAM_VALUE 1 to 4736387997280235520
BUF_SIZE 1 to 9
BUF_SIZE 2 from 8
STR_LEN 0 len 1-7
NOCHECK_CALL
UNITS 0 len unit_byte
HALF_LOCKED2 irq

arch/x86/kernel/apic/x2apic_uv_x.c uv_acpi_madt_oem_check() -> uv_stringify()

Type Parameter Key Value
PARAM_VALUE 0 len 9
PARAM_VALUE 1 to 3751859773413888000
BUF_SIZE 1 to 9
BUF_SIZE 2 from (-1),8
BUF_SIZE 2 from (-1),8
DATA_SOURCE 2 from $1
STR_LEN 0 len (-1)-0
STR_LEN 2 from (-1)-0
NOCHECK_CALL
UNITS 0 len unit_byte
HALF_LOCKED2 irq

arch/x86/kernel/apic/x2apic_uv_x.c uv_set_system_type() -> uv_stringify()

Type Parameter Key Value
PARAM_VALUE 0 len 7
PARAM_VALUE 1 to 4800952160914395136
BUF_SIZE 1 to 7
BUF_SIZE 2 from (-1),6
BUF_SIZE 2 from (-1),6
DATA_SOURCE 2 from $0
STR_LEN 0 len (-1)-0
STR_LEN 2 from (-1)-0
NOCHECK_CALL
UNITS 0 len unit_byte
HALF_LOCKED2 irq

arch/x86/kernel/apic/x2apic_uv_x.c uv_set_system_type() -> uv_stringify()

Type Parameter Key Value
PARAM_VALUE 0 len 9
PARAM_VALUE 1 to 4736387997280235520
PARAM_VALUE 2 from 4800952160914395136
BUF_SIZE 1 to 9
BUF_SIZE 2 from 7
NOCHECK_CALL
UNITS 0 len unit_byte
HALF_LOCKED2 irq

arch/x86/kernel/apic/x2apic_uv_x.c uv_set_system_type() -> uv_stringify()

Type Parameter Key Value
PARAM_VALUE 0 len 9
PARAM_VALUE 1 to 3751859773413888000
BUF_SIZE 1 to 9
BUF_SIZE 2 from (-1),8
BUF_SIZE 2 from (-1),8
DATA_SOURCE 2 from $1
STR_LEN 0 len (-1)-0
STR_LEN 2 from (-1)-0
NOCHECK_CALL
UNITS 0 len unit_byte
HALF_LOCKED2 irq