__cp_clock_gettime_monotonic
extern int __cp_clock_gettime_monotonic(comm_page_t *, timespec_t *);
return (__cp_clock_gettime_monotonic(cp, tp));