gasket_page_table_map  150 drivers/staging/gasket/gasket_ioctl.c 	return gasket_page_table_map(gasket_dev->page_table[ibuf.page_table_index],
gasket_page_table_map 1033 drivers/staging/gasket/gasket_page_table.c EXPORT_SYMBOL(gasket_page_table_map);
gasket_page_table_map   97 drivers/staging/gasket/gasket_page_table.h int gasket_page_table_map(struct gasket_page_table *page_table, ulong host_addr,