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);