Lines Matching defs:pindex0
409 tb_page_addr_t pindex0 = paddr0 >> TARGET_PAGE_BITS;
413 if (pindex0 == pindex1) {
419 if (pindex0 < pindex1) {
434 pd0 = page_find_alloc(pindex0, false);
443 tb_page_addr_t pindex0 = paddr0 >> TARGET_PAGE_BITS;
446 if (pindex0 != pindex1) {
455 tb_page_addr_t pindex0 = paddr0 >> TARGET_PAGE_BITS;
461 if (unlikely(paddr1 != -1) && pindex0 != pindex1) {
462 if (pindex0 < pindex1) {
463 page_lock(page_find_alloc(pindex0, true));
469 page_lock(page_find_alloc(pindex0, true));
476 tb_page_addr_t pindex0 = paddr0 >> TARGET_PAGE_BITS;
482 if (unlikely(paddr1 != -1) && pindex0 != pindex1) {
485 page_unlock(page_find_alloc(pindex0, false));
716 tb_page_addr_t pindex0 = paddr0 >> TARGET_PAGE_BITS;
720 if (unlikely(paddr1 != -1) && pindex0 != pindex1) {
723 tb_page_add(page_find_alloc(pindex0, false), tb, 0);
748 tb_page_addr_t pindex0 = paddr0 >> TARGET_PAGE_BITS;
752 if (unlikely(paddr1 != -1) && pindex0 != pindex1) {
755 tb_page_remove(page_find_alloc(pindex0, false), tb);