Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kernel/cpu/microcode/amd.c apply_microcode_amd() -> __apply_microcode_amd()

Type Parameter Key Value
PARAM_VALUE 0 mc 4096-ptr_max
PARAM_VALUE 1 cur_rev 8356956998161428480
BUF_SIZE 0 mc 64-s32max
BUF_SIZE 0 mc 64-s32max
RX_PATH
TASK_NOT_RUNNING

arch/x86/kernel/cpu/microcode/amd.c load_ucode_amd_bsp() -> __apply_microcode_amd()

Type Parameter Key Value
PARAM_VALUE 0 mc 4096-ptr_max
PARAM_VALUE 1 cur_rev 6015413253120438272
PARAM_VALUE 2 psize 0,64-u32max
UNITS 0 mc unit_byte

arch/x86/kernel/cpu/microcode/amd.c reload_ucode_amd() -> __apply_microcode_amd()

Type Parameter Key Value
PARAM_VALUE 0 mc 4096-ptr_max
PARAM_VALUE 0 mc->hdr.patch_id 1-u32max
PARAM_VALUE 1 cur_rev 4374995198495293440
PARAM_VALUE 1 *cur_rev 0-4294967294
BUF_SIZE 0 mc 64-s32max
BUF_SIZE 0 mc 64-s32max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &device_hotplug_lock
HALF_LOCKED2 global &system_transition_mutex
HALF_LOCKED2 irq