I would like to do a measured launch in Windows.I have a Dell Optiplex 755 with TXT/VT-x/VT-d and the TPM enabled from BIOS. Also, I've installed the manufacturer drivers for the TPM and Q35 chipset. The VMX instructions work correctly as well as GETSEC. The GETSEC[CAPABILITIES] reports a compatible chipset. I can't, however, access the SMX or TPM registers.
According to the documentation, the SMX registers are memory mapped to 0xFED20000 - FED3FFFF and the TPM registers are mapped to 0xFED40000 - 0xFED4FFFF. These regions are listed as allocated resources in the Device Manager application, so the system is finding them.
I've tried read/writes tothe public SMX regs(0xFED30000)in assembly and the READ_REGISTER_XXX macros. Neither work. Even windbg can see anything in these ranges. What am I doing wrong? How do I access the SMX registers?