Searched refs:time_data64 (Results 1 – 1 of 1) sorted by relevance
105 static commpage_time_data *time_data64 = NULL; variable592 time_data64 = time_data32; /* if no 64-bit commpage, point to 32-bit */ in commpage_populate()600 &time_data64, in commpage_populate()730 commpage_time_data *p64 = time_data64; in commpage_set_nanotime()