__vc_handle_msr
res = __vc_handle_msr(ghcb, &ctxt, true);
res = __vc_handle_msr(ghcb, &ctxt, false);
enum es_result __vc_handle_msr(struct ghcb *ghcb, struct es_em_ctxt *ctxt, bool write);
return __vc_handle_msr(ghcb, ctxt, ctxt->insn.opcode.bytes[1] == 0x30);