Lines Matching defs:p32
527 commpage_time_data *p32 = time_data32;
532 if (p32 == NULL) /* have commpages been allocated yet? */
535 if ( generation != p32->nt_generation )
537 if ( ns_base < p32->nt_ns_base )
546 p32->nt_generation = 0; /* mark invalid, so commpage won't try to use it */
549 p32->nt_tsc_base = tsc_base;
552 p32->nt_ns_base = ns_base;
555 p32->nt_scale = scale;
558 p32->nt_shift = shift;
561 p32->nt_generation = next_gen; /* mark data as valid */
588 commpage_time_data *p32 = time_data32;
597 p32->gtod_generation = 0; /* mark invalid, so commpage won't try to use it */
600 p32->gtod_ns_base = abstime;
603 p32->gtod_sec_base = secs;
606 p32->gtod_generation = next_gen; /* mark data as valid */