kernel/exec_domain.c: code clean-up