gasket_page_table_unmap_nolock  837 drivers/staging/gasket/gasket_page_table.c 		gasket_page_table_unmap_nolock(pg_tbl, dev_addr, num_pages);
gasket_page_table_unmap_nolock  990 drivers/staging/gasket/gasket_page_table.c 			gasket_page_table_unmap_nolock(pg_tbl, dev_addr,
gasket_page_table_unmap_nolock 1051 drivers/staging/gasket/gasket_page_table.c 	gasket_page_table_unmap_nolock(pg_tbl, dev_addr, num_pages);