Searched refs:boottime_usec (Results 1 – 4 of 4) sorted by relevance
49 extern void commpage_update_boottime(uint64_t boottime_usec);
834 uint64_t *boottime_usec = (uint64_t *)(uintptr_t)(_COMM_PAGE_BOOTTIME_USEC + _COMM_PAGE_RW_OFFSET); in commpage_update_boottime() local836 os_atomic_store_wide(boottime_usec, value, relaxed); in commpage_update_boottime()
130 /* c8 */ volatile uint64_t boottime_usec; member
146 extern void commpage_update_boottime(uint64_t boottime_usec);