def read_msr(self, cpu_thread_id, msr_addr):
(eax, edx) = edk2.rdmsr(msr_addr)
eax = eax % 2**32
edx = edx % 2**32
return (eax, edx)
def read_msr( self, cpu_thread_id, msr_addr ):
(eax, edx) = edk2.rdmsr( msr_addr )
eax = eax % 2**32
edx = edx % 2**32
return ( eax, edx )