1 #include "../arch/arch.h" 2 3 unsigned long arch_flags = 0; 4 int tsc_reliable; 5 int arch_random; 6