Searched refs:gasket_page_table_system_status (Results 1 – 3 of 3) sorted by relevance
212 int gasket_page_table_system_status(struct gasket_page_table *page_table);
1236 int gasket_page_table_system_status(struct gasket_page_table *page_table) in gasket_page_table_system_status() function
430 status = gasket_page_table_system_status(gasket_dev->page_table[i]); in gasket_get_hw_status()
