Searched refs:address_number (Results 1 – 1 of 1) sorted by relevance
62 TNode<Number> address_number = ChangeUint32ToTagged(address); in TF_BUILTIN() local76 address_number, expected_value_number, timeout)); in TF_BUILTIN()87 TNode<Number> address_number = ChangeUint32ToTagged(address); in TF_BUILTIN() local105 address_number, expected_value, timeout)); in TF_BUILTIN()