blob: 2715ce5db0b7f5575b84dcc3db9ee8ca5bf19e5d (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
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);
extern void setup_replication_mask(int);
extern void replicate_kernel_text(int);
extern pfn_t node_getfirstfree(cnodeid_t);
|