extern void commpage_set_nanotime(uint64_t tsc_base, uint64_t ns_base, uint32_t scale, uint32_t shift);
extern void commpage_set_memory_pressure(unsigned int pressure);
extern void commpage_set_spin_count(unsigned int count);
extern void commpage_sched_gen_inc(void);
extern void commpage_update_active_cpus(void);
extern void commpage_update_mach_approximate_time(uint64_t abstime);
extern void commpage_set_nanotime(uint64_t tsc_base, uint64_t ns_base, uint32_t scale, uint32_t shift);
extern void commpage_set_memory_pressure(unsigned int pressure);
extern void commpage_set_spin_count(unsigned int count);
extern void commpage_sched_gen_inc(void);
extern void commpage_update_active_cpus(void);
extern void commpage_update_mach_approximate_time(uint64_t abstime);