Searched refs:time_data64 (Results 1 - 1 of 1) sorted by relevance

/macosx-10.5.8/xnu-1228.15.4/osfmk/i386/commpage/
H A Dcommpage.c89 static commpage_time_data *time_data64 = NULL; variable
349 commpage_time_data** time_data, // &time_data32 or &time_data64
443 time_data64 = time_data32; /* if no 64-bit commpage, point to 32-bit */
452 &time_data64,
477 commpage_time_data *p64 = time_data64;
521 time_data64->gtod_generation = 0;
538 commpage_time_data *p64 = time_data64;

Completed in 37 milliseconds