Searched refs:num_page_tables (Results 1 – 4 of 4) sorted by relevance
52 if (ibuf.page_table_index >= gasket_dev->num_page_tables) in gasket_read_page_table_size()79 if (ibuf.page_table_index >= gasket_dev->num_page_tables) in gasket_read_simple_page_table_size()111 if (ibuf.page_table_index >= gasket_dev->num_page_tables) in gasket_partition_page_table()145 if (ibuf.page_table_index >= gasket_dev->num_page_tables) in gasket_map_buffers()171 if (ibuf.page_table_index >= gasket_dev->num_page_tables) in gasket_unmap_buffers()202 if (ibuf.page_table_index >= gasket_dev->num_page_tables) in gasket_config_coherent_allocator()323 trace_gasket_ioctl_integer_data(gasket_dev->num_page_tables); in gasket_handle_ioctl()324 if (copy_to_user(argp, &gasket_dev->num_page_tables, in gasket_handle_ioctl()
285 int num_page_tables; member360 int num_page_tables; member
223 gasket_dev->num_page_tables = driver_desc->num_page_tables; in gasket_alloc_dev()429 for (i = 0; i < driver_desc->num_page_tables; ++i) { in gasket_get_hw_status()645 for (i = 0; i < driver_desc->num_page_tables; ++i) { in gasket_disable_device()1286 for (i = 0; i < driver_desc->num_page_tables; ++i) { in gasket_release()1375 for (tbl_idx = 0; tbl_idx < driver_desc->num_page_tables; tbl_idx++) { in gasket_enable_device()1605 for (i = 0; i < driver_desc->num_page_tables; ++i) in gasket_reset_nolock()
676 .num_page_tables = NUM_NODES,
