Searched refs:User_Time (Results 1 – 1 of 1) sorted by relevance
62 User_Time; variable268 User_Time = End_Time - Begin_Time; in main()270 if (User_Time < Too_Small_Time) in main()