Searched refs:gtod_time_data (Results 1 – 1 of 1) sorted by relevance
507 new_commpage_timeofday_data_t** gtod_time_data, // >od_time_data32 or >od_time_data64 in commpage_populate_one() argument523 *gtod_time_data = commpage_addr_of( _COMM_PAGE_NEWTIMEOFDAY_DATA ); in commpage_populate_one()