{
  "finding_id": "DF-5342",
  "title": "u_int truncation of HT-fixup APIC-id mask for ids 32..63 -> phantom logical CPUs",
  "verdict": "untested",
  "impact": "none",
  "confidence": "likely",
  "reproduce": {
    "build": "cc -O2 -Wall -Wextra -o htfix_mask_truncation htfix_mask_truncation.c",
    "run": "./htfix_mask_truncation",
    "expected": "see run.log / verdict.json:evidence"
  },
  "kernel_refs": [
    "sys/platform/pc64/x86_64/mptable.c:641",
    "sys/platform/pc64/x86_64/mptable.c:658",
    "sys/platform/pc64/x86_64/mptable.c:659",
    "sys/platform/pc64/x86_64/mptable.c:661",
    "sys/platform/pc64/x86_64/mptable.c:784",
    "sys/platform/pc64/x86_64/mptable.c:787",
    "sys/platform/pc64/x86_64/mp_machdep.c:595"
  ],
  "artifacts": [
    "htfix_mask_truncation.c",
    "build.sh",
    "run.sh",
    "README.md",
    "VERDICT.md",
    "build.log",
    "run.log",
    "env.txt",
    "fix.diff",
    "manifest.json",
    "verdict.json"
  ]
}