Searched refs:commpage_value (Results 1 – 1 of 1) sorted by relevance
739 uint64_t commpage_value; in clock_set_calendar_microtime() local813 commpage_value = clock_boottime * USEC_PER_SEC + clock_boottime_usec; in clock_set_calendar_microtime()815 commpage_update_boottime(commpage_value); in clock_set_calendar_microtime()