extended_flag     200 drivers/staging/gasket/gasket_page_table.c 	u64 extended_flag;
extended_flag     279 drivers/staging/gasket/gasket_page_table.c 		pg_tbl->extended_flag = 1ull << page_table_config->extended_bit;
extended_flag     283 drivers/staging/gasket/gasket_page_table.c 		pg_tbl->extended_flag = 0;
extended_flag     676 drivers/staging/gasket/gasket_page_table.c 	return !((addr) & (pg_tbl)->extended_flag);
extended_flag     697 drivers/staging/gasket/gasket_page_table.c 	return is_simple ? dev_addr : (pg_tbl->extended_flag | dev_addr);
extended_flag     755 drivers/staging/gasket/gasket_page_table.c 	addr = dev_addr & ~((pg_tbl)->extended_flag);