Searched refs:pindex1 (Results 1 – 1 of 1) sorted by relevance
409 tb_page_addr_t pindex1 = paddr1 >> TARGET_PAGE_BITS; in tb_lock_page1() local412 if (pindex0 == pindex1) { in tb_lock_page1()417 pd1 = page_find_alloc(pindex1, true); in tb_lock_page1()418 if (pindex0 < pindex1) { in tb_lock_page1()443 tb_page_addr_t pindex1 = paddr1 >> TARGET_PAGE_BITS; in tb_unlock_page1() local445 if (pindex0 != pindex1) { in tb_unlock_page1()446 page_unlock(page_find_alloc(pindex1, false)); in tb_unlock_page1()455 tb_page_addr_t pindex1 = paddr1 >> TARGET_PAGE_BITS; in tb_lock_pages() local460 if (unlikely(paddr1 != -1) && pindex0 != pindex1) { in tb_lock_pages()461 if (pindex0 < pindex1) { in tb_lock_pages()[all …]