rmixl_irt_thread_mask
static uint32_t rmixl_irt_thread_mask(int);
irtc0 = rmixl_irt_thread_mask(cpumask);