Man pages matching name pr_mce_kill_get in section 2const:

PR_MCE_KILL_GET.2const.de	debian 13 / manpages-de-dev
PR_MCE_KILL_GET.2const.en	debian 13 / manpages-dev
PR_MCE_KILL_GET.2const.ko	debian 13 / manpages-ko-dev