Lines Matching defs:p32
476 commpage_time_data *p32 = time_data32;
481 if (p32 == NULL) /* have commpages been allocated yet? */
484 if ( generation != p32->nt_generation )
486 if ( ns_base < p32->nt_ns_base )
495 p32->nt_generation = 0; /* mark invalid, so commpage won't try to use it */
498 p32->nt_tsc_base = tsc_base;
501 p32->nt_ns_base = ns_base;
504 p32->nt_scale = scale;
507 p32->nt_shift = shift;
510 p32->nt_generation = next_gen; /* mark data as valid */
537 commpage_time_data *p32 = time_data32;
546 p32->gtod_generation = 0; /* mark invalid, so commpage won't try to use it */
549 p32->gtod_ns_base = abstime;
552 p32->gtod_sec_base = secs;
555 p32->gtod_generation = next_gen; /* mark data as valid */