Searched refs:paddr0 (Results 1 – 1 of 1) sorted by relevance
406 void tb_lock_page1(tb_page_addr_t paddr0, tb_page_addr_t paddr1) in tb_lock_page1() argument408 tb_page_addr_t pindex0 = paddr0 >> 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() argument442 tb_page_addr_t pindex0 = paddr0 >> TARGET_PAGE_BITS; in tb_unlock_page1()452 tb_page_addr_t paddr0 = tb_page_addr0(tb); in tb_lock_pages() local454 tb_page_addr_t pindex0 = paddr0 >> TARGET_PAGE_BITS; in tb_lock_pages()457 if (unlikely(paddr0 == -1)) { in tb_lock_pages()473 tb_page_addr_t paddr0 = tb_page_addr0(tb); in tb_unlock_pages() local475 tb_page_addr_t pindex0 = paddr0 >> TARGET_PAGE_BITS; in tb_unlock_pages()478 if (unlikely(paddr0 == -1)) { in tb_unlock_pages()[all …]