ISO writes via `msr_iso_write` appear to be broken, but I can't verify that it's a software bug and not a hardware problem (since I only have one MSR).
ISO writes via
msr_iso_writeappear to be broken, but I can't verify that it's a software bug and not a hardware problem (since I only have one MSR).