def get_register_value()

in functions/functraceplus.py [0:0]


    def get_register_value(self, register_name):
        if self.is_64bit:
            register_name = "R" + register_name
        else:
            register_name = "E" + register_name
        return idc.get_reg_value(register_name)