Home | History | Annotate | Download | only in processor

Lines Matching full:process_kernel_time

3427     Swap(&misc_info_.process_kernel_time);
3505 printf(" process_kernel_time = ");
3507 kNumberFormatDecimal, misc_info_.process_kernel_time);