review.coreboot.org / coreboot / 1b9fc9e801d81fab7e26c0321c638dee83ca44a9 / src / drivers / spi / tpm / tpm.h