Symbol: mce_gen_pool_empty
arch/x86/kernel/cpu/mce/core.c
1781
if (!mce_gen_pool_empty())
arch/x86/kernel/cpu/mce/core.c
505
if (!mce_gen_pool_empty())
arch/x86/kernel/cpu/mce/internal.h
33
bool mce_gen_pool_empty(void);