#
# Copyright (c) 2024 Bitdefender
# SPDX-License-Identifier: Apache-2.0
#

UWRMSR            ; Id,Rq               ; MSR             ; evex m:7 nf:0 p:2 l:0 w:0 0xF8 /0:reg id    ; s:APX_F, t:USER_MSR, w:R|R|W, m:O64, v:vex
URDMSR            ; Rq,Id               ; MSR             ; evex m:7 nf:0 p:3 l:0 w:0 0xF8 /0:reg id    ; s:APX_F, t:USER_MSR, w:W|R|R, m:O64, v:vex