dec_ioasic_clocksource_init
ioasic_clock = dec_ioasic_clocksource_init() == 0;
extern int dec_ioasic_clocksource_init(void);