gcsc_rdmsr
wdtbase = gcsc_rdmsr(MSR_LBAR_MFGPT) & 0xffff;
gpiobase = gcsc_rdmsr(MSR_LBAR_GPIO) & 0xffff;
return gcsc_rdmsr(AMD553X_TMC);
(uint32_t)(gcsc_rdmsr(AMD553X_MFGPT_NR))));
DPRINTF((" AMD553X_MFGPT_NR 0x%" PRIx64 "\n", gcsc_rdmsr(AMD553X_MFGPT_NR)));
( gcsc_wrmsr(AMD553X_MFGPT_NR, gcsc_rdmsr(AMD553X_MFGPT_NR) & ~((bit) << (x))) )
( gcsc_wrmsr(AMD553X_MFGPT_NR, gcsc_rdmsr(AMD553X_MFGPT_NR) | ((bit) << (x))) )
uint64_t gcsc_rdmsr(uint);