1 2 3 4 5 6 7 8
extern nasid_t master_nasid; extern cnodeid_t get_compact_nodeid(void); extern void hub_rtc_init(cnodeid_t); extern void cpu_time_init(void); extern void per_cpu_init(void); extern void install_cpuintr(int cpu); extern void install_tlbintr(int cpu);