Searched refs:time_data32 (Results 1 – 1 of 1) sorted by relevance
102 static commpage_time_data *time_data32 = NULL; variable580 &time_data32, in commpage_populate()588 time_data64 = time_data32; /* if no 64-bit commpage, point to 32-bit */ in commpage_populate()684 commpage_time_data *p32 = time_data32; in commpage_set_nanotime()