Searched refs:saved_d (Results 1 – 1 of 1) sorted by relevance
191 php_uint32 saved_a, saved_b, saved_c, saved_d; in body() local204 saved_d = d; in body()281 d += saved_d; in body()
Completed in 4 milliseconds