ras_userspace_consumers   10 drivers/ras/debugfs.c int ras_userspace_consumers(void)
ras_userspace_consumers   14 include/linux/ras.h static inline int ras_userspace_consumers(void) { return 0; }