Searched refs:tsaddr (Results 1 – 1 of 1) sorted by relevance
1065 unsigned long tsaddr = (unsigned long) tsk; in sun4c_free_task_struct() local1066 unsigned long pages = BUCKET_PTE_PAGE(sun4c_get_pte(tsaddr)); in sun4c_free_task_struct()1067 int entry = BUCKET_NUM(tsaddr); in sun4c_free_task_struct()1071 sun4c_flush_page(tsaddr); in sun4c_free_task_struct()1073 sun4c_flush_page(tsaddr + PAGE_SIZE); in sun4c_free_task_struct()1075 sun4c_put_pte(tsaddr, 0); in sun4c_free_task_struct()1077 sun4c_put_pte(tsaddr + PAGE_SIZE, 0); in sun4c_free_task_struct()