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 )