is_simple_mapping  468 drivers/staging/gasket/gasket_page_table.c 				  uint num_pages, int is_simple_mapping)
is_simple_mapping  522 drivers/staging/gasket/gasket_page_table.c 		if (is_simple_mapping) {
is_simple_mapping  593 drivers/staging/gasket/gasket_page_table.c 				     int is_simple_mapping)
is_simple_mapping  602 drivers/staging/gasket/gasket_page_table.c 		if (is_simple_mapping || ptes[i].status == PTE_INUSE) {