review.coreboot.org / coreboot / 06798cd53f832d5551748d892921df3132b8e659 / src / soc / intel / common / tco.h