EXIT_REASON_WRMSR
[EXIT_REASON_WRMSR] = "WRMSR",
case EXIT_REASON_WRMSR:
reason == EXIT_REASON_WRMSR);