···5151extern unsigned long table_start, table_end;52525353extern int exception_trace;5454-extern unsigned cpu_khz;5555-extern unsigned tsc_khz;56545755extern int reboot_force;5858-extern int notsc_setup(char *);59566057extern int gsi_irq_sharing(int gsi);6158