Searched refs:BUCKET_PTE_PAGE (Results 1 – 1 of 1) sorted by relevance
966 #define BUCKET_PTE_PAGE(pte) \ macro1066 unsigned long pages = BUCKET_PTE_PAGE(sun4c_get_pte(tsaddr)); in sun4c_free_task_struct()