void ktimer_event_init() { ktable_init(&ktimer_event_table); ktimer_init(); softirq_register(KTE_SOFTIRQ, ktimer_event_handler); }
void fpages_init(void) { ktable_init(&fpage_table); }