update_sched_domain_debugfs
update_sched_domain_debugfs();
extern void update_sched_domain_debugfs(void);