psi_init           17 include/linux/psi.h void psi_init(void);
psi_init         6713 kernel/sched/core.c 	psi_init();