Lines Matching refs:pointer_query

1430 	(pointer_query::dump): Call it.
8532 	(pointer_query::get_ref): Same.
15093 	(pointer_query::put_ref): Modify a cached value, not a copy of it.
15094 	(pointer_query::dump): New function.
15097 	* pointer-query.h (pointer_query::dump): Declare.
15100 	(printf_strlen_execute): Factor code out into pointer_query::put_ref.
18565 	(pointer_query::pointer_query): Same.
18566 	(pointer_query::get_ref): Same.
18567 	(pointer_query::put_ref): Same.
18568 	(pointer_query::flush_cache): Same.
18598 	(class pointer_query): Same.
32832 	Flush pointer_query cache.