Searched refs:gtod_time_data32 (Results 1 – 1 of 1) sorted by relevance
104 static new_commpage_timeofday_data_t *gtod_time_data32 = NULL; variable577 >od_time_data32, in commpage_populate()585 gtod_time_data64 = gtod_time_data32; in commpage_populate()738 new_commpage_timeofday_data_t *p32 = gtod_time_data32; in commpage_set_timestamp()