208 static PageDesc *page_find_alloc(tb_page_addr_t index, bool alloc)  in page_find_alloc()  function
265     return page_find_alloc(index, false);  in page_find()
403     page_lock(page_find_alloc(paddr >> TARGET_PAGE_BITS, true));  in tb_lock_page0()
417     pd1 = page_find_alloc(pindex1, true);  in tb_lock_page1()
433     pd0 = page_find_alloc(pindex0, false);  in tb_lock_page1()
446         page_unlock(page_find_alloc(pindex1, false));  in tb_unlock_page1()
462             page_lock(page_find_alloc(pindex0, true));  in tb_lock_pages()
463             page_lock(page_find_alloc(pindex1, true));  in tb_lock_pages()
466         page_lock(page_find_alloc(pindex1, true));  in tb_lock_pages()
468     page_lock(page_find_alloc(pindex0, true));  in tb_lock_pages()
482         page_unlock(page_find_alloc(pindex1, false));  in tb_unlock_pages()
484     page_unlock(page_find_alloc(pindex0, false));  in tb_unlock_pages()
720         tb_page_add(page_find_alloc(pindex1, false), tb, 1);  in tb_record()
722     tb_page_add(page_find_alloc(pindex0, false), tb, 0);  in tb_record()
752         tb_page_remove(page_find_alloc(pindex1, false), tb);  in tb_remove()
754     tb_page_remove(page_find_alloc(pindex0, false), tb);  in tb_remove()