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)