Lines Matching refs:uint64_t
246 uint64_t deadline;
250 uint64_t last_run_time; /* time when thread was switched away from */
264 uint64_t computation_metered;
265 uint64_t computation_epoch;
266 uint64_t safe_release; /* when to release fail-safe */
292 uint64_t user_timer_save; /* saved user timer value */
293 uint64_t system_timer_save; /* saved system timer value */
294 uint64_t vtimer_user_save; /* saved values for vtimers */
295 uint64_t vtimer_prof_save;
296 uint64_t vtimer_rlim_save;
299 uint64_t wait_sfi_begin_time; /* start time for thread waiting in SFI */
434 uint64_t *kpc_buf;
439 uint64_t kperf_pet_cnt;
447 uint64_t thread_id; /*system wide unique thread-id*/
454 uint64_t cpu_time_last_qos;
457 uint64_t t_deduct_bank_ledger_time; /* cpu time to be deducted from bank ledger */
742 extern uint64_t thread_dispatchqaddr(
752 extern uint64_t thread_tid(thread_t thread);
813 extern int thread_get_cpulimit(int *action, uint8_t *percentage, uint64_t *interval_ns);
814 extern int thread_set_cpulimit(int action, uint8_t percentage, uint64_t interval_ns);
821 extern uint64_t thread_get_runtime_self(void);
827 extern uint64_t thread_adjuserstack(