is_tsk_32bit_task
if (is_tsk_32bit_task(task))
if (IS_ENABLED(CONFIG_COMPAT) && is_tsk_32bit_task(task))