Man pages matching name pr_mce_kill_set in section 2const:

PR_MCE_KILL_SET.2const.en

debian 13 / manpages-dev