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

WRMSRNS           ; Id,Rq               ; MSR             ; evex m:7 nf:0 p:2 l:0 w:0 0xF6 /0:reg id    ; s:MSR_IMM, t:SYSTEM,   w:R|R|W, m:KERNEL|O64, v:vex
RDMSR             ; Rq,Id               ; MSR             ; evex m:7 nf:0 p:3 l:0 w:0 0xF6 /0:reg id    ; s:MSR_IMM, t:SYSTEM,   w:W|R|R, m:KERNEL|O64, v:vex
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