Searched refs:num_page_tables (Results 1 – 4 of 4) sorted by relevance
51 if (ibuf.page_table_index >= gasket_dev->num_page_tables) in gasket_read_page_table_size()77 if (ibuf.page_table_index >= gasket_dev->num_page_tables) in gasket_read_simple_page_table_size()108 if (ibuf.page_table_index >= gasket_dev->num_page_tables) in gasket_partition_page_table()142 if (ibuf.page_table_index >= gasket_dev->num_page_tables) in gasket_map_buffers()168 if (ibuf.page_table_index >= gasket_dev->num_page_tables) in gasket_unmap_buffers()198 if (ibuf.page_table_index >= gasket_dev->num_page_tables) in gasket_config_coherent_allocator()319 trace_gasket_ioctl_integer_data(gasket_dev->num_page_tables); in gasket_handle_ioctl()320 if (copy_to_user(argp, &gasket_dev->num_page_tables, in gasket_handle_ioctl()
277 int num_page_tables; member352 int num_page_tables; member
218 gasket_dev->num_page_tables = driver_desc->num_page_tables; in gasket_alloc_dev()422 for (i = 0; i < driver_desc->num_page_tables; ++i) { in gasket_get_hw_status()638 for (i = 0; i < driver_desc->num_page_tables; ++i) { in gasket_disable_device()1278 for (i = 0; i < driver_desc->num_page_tables; ++i) { in gasket_release()1361 for (tbl_idx = 0; tbl_idx < driver_desc->num_page_tables; tbl_idx++) { in gasket_enable_device()1610 for (i = 0; i < driver_desc->num_page_tables; ++i) in gasket_reset_nolock()
661 .num_page_tables = NUM_NODES,
