Searched refs:xpq_queue_invlpg (Results 1 – 3 of 3) sorted by relevance
53 xpq_queue_invlpg(addr); in invlpg()
331 xpq_queue_invlpg(vaddr_t va) in xpq_queue_invlpg() function
43 void xpq_queue_invlpg(vaddr_t);