# CONFIG_SGETMASK_SYSCALL is not set
