Searched refs:pfull (Results 1 – 2 of 2) sorted by relevance
88 CPUTLBEntryFull **pfull, uintptr_t retaddr);102 void **phost, CPUTLBEntryFull **pfull);
135 static void tlb_flush_counts(size_t *pfull, size_t *ppart, size_t *pelide) in tlb_flush_counts() argument145 *pfull = full; in tlb_flush_counts()