Searched refs:gasket_simple_page_idx (Results 1 – 1 of 1) sorted by relevance
542 static int gasket_simple_page_idx(struct gasket_page_table *pg_tbl, in gasket_simple_page_idx() function579 gasket_simple_page_idx(pg_tbl, dev_addr), in gasket_alloc_simple_entries()632 uint slot = gasket_simple_page_idx(pg_tbl, dev_addr); in gasket_unmap_simple_pages()822 uint slot_idx = gasket_simple_page_idx(pg_tbl, dev_addr); in gasket_map_simple_pages()1097 page_num = gasket_simple_page_idx(pg_tbl, dev_addr); in gasket_page_table_lookup_page()
