1 extern nasid_t master_nasid;
3 extern cnodeid_t get_compact_nodeid(void);
4 extern void hub_rtc_init(cnodeid_t);
5 extern void cpu_time_init(void);
6 extern void per_cpu_init(void);
7 extern void install_cpuintr(int cpu);
8 extern void install_tlbintr(int cpu);
9 extern void setup_replication_mask(int);
10 extern void replicate_kernel_text(int);
11 extern pfn_t node_getfirstfree(cnodeid_t);