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