user_time

Declaration

uint64_t user_time;