Symbol: MCJ_CTX_RANDOM
arch/x86/kernel/cpu/mce/inject.c
246
if (context == MCJ_CTX_RANDOM)
arch/x86/kernel/cpu/mce/inject.c
259
MCJ_CTX(mcpu->inject_flags) != MCJ_CTX_RANDOM)