# this is used for testing MCE during TDX SEAM non-root mode
CPU 0 BANK 1
MCGSTATUS RIPV EIPV MCIP LMCES SEAM_NR
NOBROADCAST
STATUS UNCORRECTED AR S 0x134
ADDR 0x1234
MISC 0x8
RIP 0xdeadbabe
