1# Copyright (c) 2007 The Hewlett-Packard Development Company
2# All rights reserved.
3#
4# Redistribution and use of this software in source and binary forms,
5# with or without modification, are permitted provided that the
6# following conditions are met:
7#
8# The software must be used only for Non-Commercial Use which means any
9# use which is NOT directed to receiving any direct monetary
10# compensation for, or commercial advantage from such use. Illustrative
11# examples of non-commercial use are academic research, personal study,

--- 49 unchanged lines hidden (view full) ---

61 mov rax, rax, t2, dataSize=4
62 srli t2, t2, 32, dataSize=8
63 mov rdx, rdx, t2, dataSize=4
64};
65
66def macroop WRMSR
67{
68 limm t1, "IntAddrPrefixMSR >> 3"
69 mov t2, t2, rdx, dataSize=4
70 slli t2, t2, 32, dataSize=8
71 mov t2, t2, rax, dataSize=4
72 st t2, intseg, [8, t1, rcx], dataSize=8, addressSize=4
73};
74'''