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