clockevent_i8253_init
clockevent_i8253_init(false);
clockevent_i8253_init(true);
extern void clockevent_i8253_init(bool oneshot);