gasket_simple_page_idx  579 drivers/staging/gasket/gasket_page_table.c 				      gasket_simple_page_idx(pg_tbl, dev_addr),
gasket_simple_page_idx  632 drivers/staging/gasket/gasket_page_table.c 	uint slot = gasket_simple_page_idx(pg_tbl, dev_addr);
gasket_simple_page_idx  822 drivers/staging/gasket/gasket_page_table.c 	uint slot_idx = gasket_simple_page_idx(pg_tbl, dev_addr);
gasket_simple_page_idx 1097 drivers/staging/gasket/gasket_page_table.c 		page_num = gasket_simple_page_idx(pg_tbl, dev_addr);