bits 64
    
    ; UWRMSR    0x44332211, rax
    db 0xC4, 0xE7, 0x7A, 0xF8, 0xC0, 0x11, 0x22, 0x33, 0x44
    ; URDMSR    rax, 0x44332211
    db 0xC4, 0xE7, 0x7B, 0xF8, 0xC0, 0x11, 0x22, 0x33, 0x44
    ; UWRMSR    rcx, rax
    db 0xF3, 0x0F, 0x38, 0xF8, 0xC1
    ; URDMSR    rax, rcx
    db 0xF2, 0x0F, 0x38, 0xF8, 0xC1