Searched refs:pintr0 (Results 1 – 1 of 1) sorted by relevance
4333 , uint64* pintr0, uint64* pintr1 in call_function() argument4371 READ_TIMESTAMP(*pintr0); in call_function()4390 READ_TIMESTAMP(*pintr0); in call_function()