Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 3 files:

Smatch caller information:

arch/x86/kernel/cpu/mce/core.c kill_me_maybe() -> set_mce_nospec()

Type Parameter Key Value
PARAM_VALUE 0 pfn 0-1099511627775
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 pfn unit_page
HALF_LOCKED2 bh
HALF_LOCKED2 rcu

arch/x86/kernel/cpu/mce/core.c kill_me_never() -> set_mce_nospec()

Type Parameter Key Value
PARAM_VALUE 0 pfn 0-1099511627775
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 pfn unit_page
HALF_LOCKED2 bh
HALF_LOCKED2 rcu

arch/x86/kernel/cpu/mce/core.c uc_decode_notifier() -> set_mce_nospec()

Type Parameter Key Value
PARAM_VALUE 0 pfn 0-1099511627775
NOCHECK_CALL
UNITS 0 pfn unit_page

drivers/cxl/core/mce.c cxl_handle_mce() -> set_mce_nospec()

Type Parameter Key Value
PARAM_VALUE 0 pfn 0-4503599627370495
CAPPED_DATA 0 pfn 1
CAPPED_DATA 0 pfn 1
NOCHECK_CALL
UNITS 0 pfn unit_page