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

/macosx-10.5.8/xnu-1228.15.4/osfmk/i386/commpage/
H A Dcommpage.c88 static commpage_time_data *time_data32 = NULL; variable
349 commpage_time_data** time_data, // &time_data32 or &time_data64
438 &time_data32,
443 time_data64 = time_data32; /* if no 64-bit commpage, point to 32-bit */
476 commpage_time_data *p32 = time_data32;
520 time_data32->gtod_generation = 0;
537 commpage_time_data *p32 = time_data32;

Completed in 7 milliseconds