Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kernel/apic/x2apic_uv_x.c boot_init_possible_blades() -> blade_update_min_max()

Type Parameter Key Value
PARAM_VALUE 1 base 0-960
PARAM_VALUE 3 min 7085366900649426944
PARAM_VALUE 4 max 3643065665584164864
PARAM_VALUE 4 *max (-1)-992
CAPPED_DATA 1 base 1
DATA_SOURCE 0 bits r uv_read_local_mmr
NOCHECK_CALL
HOST_DATA 0 bits 0-u64max
HOST_DATA 4 *max 1-992[c]

arch/x86/kernel/apic/x2apic_uv_x.c boot_init_possible_blades() -> blade_update_min_max()

Type Parameter Key Value
PARAM_VALUE 1 base 0
PARAM_VALUE 3 min 7085366900649426944
PARAM_VALUE 4 max 3643065665584164864
PARAM_VALUE 4 *max (-1)-992
DATA_SOURCE 0 bits r uv_read_local_mmr
NOCHECK_CALL
HOST_DATA 0 bits 0-u64max
HOST_DATA 4 *max 1-992[c]

arch/x86/kernel/apic/x2apic_uv_x.c boot_init_possible_blades() -> blade_update_min_max()

Type Parameter Key Value
PARAM_VALUE 1 base 64
PARAM_VALUE 3 min 7085366900649426944
PARAM_VALUE 4 max 3643065665584164864
PARAM_VALUE 4 *max (-1)-992
DATA_SOURCE 0 bits r uv_read_local_mmr
NOCHECK_CALL
HOST_DATA 0 bits 0-u64max
HOST_DATA 4 *max 1-992[c]