system_32bit_el0_cpumask
const struct cpumask *system_32bit_el0_cpumask(void);
return system_32bit_el0_cpumask();
const struct cpumask *mask = system_32bit_el0_cpumask();
!dl_task_check_affinity(current, system_32bit_el0_cpumask());