Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

arch/x86/coco/tdx/tdx.c tdx_early_init() -> cc_set_mask()

Type Parameter Key Value
PARAM_VALUE 0 mask 9223372036854775808
NOCHECK_CALL

arch/x86/boot/startup/sme.c sme_enable() -> cc_set_mask()

Type Parameter Key Value
NOCHECK_CALL

arch/x86/hyperv/ivm.c hv_vtom_init() -> cc_set_mask()

Type Parameter Key Value
NOCHECK_CALL
LOCK2 irq