I'm doing some experimenting with TXT in my own driver. When I issue the GETSEC[SENTER] command, the system crashes as I expect (since I don't think I have everything set up right yet), but confusingly there is no error code to tell me what I'm doing wrong.
I read physical memory addresses 0xFED3000 + 8 (TXT.ESTS - Error Status) and address 0xFED30000 + 0x30 (TXT.ERRORCODE). But both values are still set to 0.
Can you please explain under what conditions these fields would not be updated on SENTER crash?
Thank you very much.