is_simple         692 drivers/staging/gasket/gasket_page_table.c 					      int is_simple, uint page_index,
is_simple         697 drivers/staging/gasket/gasket_page_table.c 	return is_simple ? dev_addr : (pg_tbl->extended_flag | dev_addr);