Hi, I got the error code C00038F1 when executing GETSEC[SENTER]. According to the sinit_errors.txt along with the Sinit AC Module (GM45_GS45_PM45_SINIT_21), it means:Current values of VT-d PMR registers do not match requested values in SinitMleData. I'm quite confused with this explanation. SinitMleData is not even initialized when executing SENTER. Then how can we know the requested value? The second question is about a Intel TXT Control Register. I found tBoot defined a register called TXTCR_DPR with an offset of 0x0330. But this register is not documented in the TXT development guide. Does this register report the base address of the DMA Protected Region (DPR)? Anybody can help me? Thanks!