def write_msr(self, cpu_thread_id, msr_addr, eax, edx): edk2.wrmsr(msr_addr, eax, edx)
def write_msr( self, cpu_thread_id, msr_addr, eax, edx ): edk2.wrmsr( msr_addr, eax, edx )