l4_utcb_mr64_idx (reference) in projects: l4re-core-master

Searched refs:l4_utcb_mr64_idx (Results 1 – 4 of 4) sorted by relevance

/l4re-core-master/l4sys/include/
A D	utcb.h	`314 unsigned l4_utcb_mr64_idx(unsigned idx) L4_NOTHROW; 386 L4_INLINE unsigned l4_utcb_mr64_idx(unsigned idx) L4_NOTHROW in l4_utcb_mr64_idx() function`
A D	scheduler.h	`294 *us = v->mr64[l4_utcb_mr64_idx(0)]; in l4_scheduler_idle_time_u()`
A D	icu.h	`415 m->mr64[l4_utcb_mr64_idx(2)] = source; in l4_icu_msi_info_u()`
A D	thread.h	`818 *us = v->mr64[l4_utcb_mr64_idx(0)]; in l4_thread_stats_time_u()`

Completed in 6 milliseconds