housekeeping_cpumask_dereference
old = housekeeping_cpumask_dereference(HK_TYPE_DOMAIN);
mask = housekeeping_cpumask_dereference(type);