Lines Matching refs:paddr1
406 void tb_lock_page1(tb_page_addr_t paddr0, tb_page_addr_t paddr1) in tb_lock_page1() argument
409 tb_page_addr_t pindex1 = paddr1 >> TARGET_PAGE_BITS; in tb_lock_page1()
440 void tb_unlock_page1(tb_page_addr_t paddr0, tb_page_addr_t paddr1) in tb_unlock_page1() argument
443 tb_page_addr_t pindex1 = paddr1 >> TARGET_PAGE_BITS; in tb_unlock_page1()
453 tb_page_addr_t paddr1 = tb_page_addr1(tb); in tb_lock_pages() local
455 tb_page_addr_t pindex1 = paddr1 >> TARGET_PAGE_BITS; in tb_lock_pages()
460 if (unlikely(paddr1 != -1) && pindex0 != pindex1) { in tb_lock_pages()
474 tb_page_addr_t paddr1 = tb_page_addr1(tb); in tb_unlock_pages() local
476 tb_page_addr_t pindex1 = paddr1 >> TARGET_PAGE_BITS; in tb_unlock_pages()
481 if (unlikely(paddr1 != -1) && pindex0 != pindex1) { in tb_unlock_pages()
714 tb_page_addr_t paddr1 = tb_page_addr1(tb); in tb_record() local
716 tb_page_addr_t pindex1 = paddr1 >> TARGET_PAGE_BITS; in tb_record()
719 if (unlikely(paddr1 != -1) && pindex0 != pindex1) { in tb_record()
746 tb_page_addr_t paddr1 = tb_page_addr1(tb); in tb_remove() local
748 tb_page_addr_t pindex1 = paddr1 >> TARGET_PAGE_BITS; in tb_remove()
751 if (unlikely(paddr1 != -1) && pindex0 != pindex1) { in tb_remove()