Corpus for prctl$PR_MCE_KILL_GET:

Coverage	Program
20	prctl$PR_MCE_KILL_GET