Searched refs:mr64 (Results 1 – 4 of 4) sorted by relevance
81 …l4_uint64_t mr64[L4_UTCB_GENERIC_DATA_SIZE / (sizeof(l4_uint64_t)/sizeof(l4_umword_t))]; /**< Mess… member
294 *us = v->mr64[l4_utcb_mr64_idx(0)]; in l4_scheduler_idle_time_u()
415 m->mr64[l4_utcb_mr64_idx(2)] = source; in l4_icu_msi_info_u()
818 *us = v->mr64[l4_utcb_mr64_idx(0)]; in l4_thread_stats_time_u()
Completed in 7 milliseconds