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