82a83
> MISCREG_SEV_MAILBOX,
162c163
< "fpsr", "fpsid", "fpscr", "fpexc",
---
> "fpsr", "fpsid", "fpscr", "fpexc", "sev_mailbox",