linux/kernel/exec_domain.c