Searched defs:pindex0 (Results 1 – 1 of 1) sorted by relevance
409 tb_page_addr_t pindex0 = paddr0 >> TARGET_PAGE_BITS; in tb_lock_page1() local 443 tb_page_addr_t pindex0 = paddr0 >> TARGET_PAGE_BITS; in tb_unlock_page1() local 455 tb_page_addr_t pindex0 = paddr0 >> TARGET_PAGE_BITS; in tb_lock_pages() local 476 tb_page_addr_t pindex0 = paddr0 >> TARGET_PAGE_BITS; tb_unlock_pages() local 716 tb_page_addr_t pindex0 = paddr0 >> TARGET_PAGE_BITS; tb_record() local 748 tb_page_addr_t pindex0 = paddr0 >> TARGET_PAGE_BITS; tb_remove() local [all...]