bits 64
        
        db 0xF2, 0x0F, 0x01, 0xC6       ; RDMSRLIST
        db 0xF3, 0x0F, 0x01, 0xC6       ; WRMSRLIST        
        db       0x0F, 0x01, 0xC6       ; WRMSRNS