Searched defs:pindex1 (Results 1 – 1 of 1) sorted by relevance
410 tb_page_addr_t pindex1 = paddr1 >> TARGET_PAGE_BITS; in tb_lock_page1() local444 tb_page_addr_t pindex1 = paddr1 >> TARGET_PAGE_BITS; in tb_unlock_page1() local456 tb_page_addr_t pindex1 = paddr1 >> TARGET_PAGE_BITS; in tb_lock_pages() local477 tb_page_addr_t pindex1 = paddr1 >> TARGET_PAGE_BITS; in tb_unlock_pages() local717 tb_page_addr_t pindex1 = paddr1 >> TARGET_PAGE_BITS; in tb_record() local749 tb_page_addr_t pindex1 = paddr1 >> TARGET_PAGE_BITS; in tb_remove() local