#NEWLINE# def run( self , ptr , ld = None ) : #NEWLINE# #INDENT# module_id = self . state . se . any_int ( self . state . memory . load ( ptr , self . state . arch . bytes , endness = self . state . arch . memory_endness ) ) #NEWLINE# offset = self . state . se . any_int ( self . state . memory . load ( ( ptr + self . state . arch . bytes ) , self . state . arch . bytes , endness = self . state . arch . memory_endness ) ) #NEWLINE# return self . state . se . BVV ( ld . tls_object . get_addr ( module_id , offset ) , self . state . arch . bits )