SGX
reading sgx pwrstst
/dev/mem opened.
Memory mapped at address 0x400ad000.
Value at address 0x48180F04 (0x400adf04): 0x0
/dev/mem opened.
Memory mapped at address 0x40308000.
Value at address 0x48180920 (0x40308920): 0x2
Written 0x0; readback 0x0