Home
last modified time | relevance | path

Searched refs:commpage_update_boottime (Results 1 – 5 of 5) sorted by relevance

/xnu-8020.101.4/osfmk/arm/commpage/
H A Dcommpage.h49 extern void commpage_update_boottime(uint64_t boottime_usec);
H A Dcommpage.c191 commpage_update_boottime(secs * USEC_PER_SEC + microsecs); in commpage_populate()
803 commpage_update_boottime(uint64_t value) in commpage_update_boottime() function
/xnu-8020.101.4/osfmk/i386/commpage/
H A Dcommpage.h146 extern void commpage_update_boottime(uint64_t boottime_usec);
H A Dcommpage.c438 commpage_update_boottime(secs * USEC_PER_SEC + microsecs); in commpage_boottime_init()
976 commpage_update_boottime(uint64_t boottime) in commpage_update_boottime() function
/xnu-8020.101.4/osfmk/kern/
H A Dclock.c834 commpage_update_boottime(commpage_value); in clock_set_calendar_microtime()
1103 commpage_update_boottime(clock_boottime * USEC_PER_SEC + clock_boottime_usec); in clock_initialize_calendar()