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