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