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