Man pages matching name pr_mce_kill in section 2const:

PR_MCE_KILL.2const.en

debian 13 / manpages-dev