in functions/kernel32.py [0:0]
def get_result(self): if self.is_64bit: res = idc.get_reg_value("RAX") else: res = idc.get_reg_value("EAX") return res