1 extern void hp300_sched_init(void); 2
Linux® is a registered trademark of Linus Torvalds in the United States and other countries. TOMOYO® is a registered trademark of NTT DATA CORPORATION.