diff --git a/drivers/staging/gasket/gasket_page_table.c b/drivers/staging/gasket/gasket_page_table.c
index 3de7f8c400c9..dcd52e141f95 100644
--- a/drivers/staging/gasket/gasket_page_table.c
+++ b/drivers/staging/gasket/gasket_page_table.c
@@ -640,17 +640,6 @@ uint gasket_page_table_num_simple_entries(struct gasket_page_table *pg_tbl)
 EXPORT_SYMBOL(gasket_page_table_num_simple_entries);
 
 /* See gasket_page_table.h for description. */
-uint gasket_page_table_num_extended_entries(struct gasket_page_table *pg_tbl)
-{
-	if (!pg_tbl) {
-		gasket_nodev_error("Passed a null page table.");
-		return 0;
-	}
-
-	return pg_tbl->num_extended_entries;
-}
-EXPORT_SYMBOL(gasket_page_table_num_extended_entries);
-
 uint gasket_page_table_num_active_pages(struct gasket_page_table *pg_tbl)
 {
 	if (!pg_tbl) {
diff --git a/drivers/staging/gasket/gasket_page_table.h b/drivers/staging/gasket/gasket_page_table.h
index d8d031cf16a2..720ce2bc2c01 100644
--- a/drivers/staging/gasket/gasket_page_table.h
+++ b/drivers/staging/gasket/gasket_page_table.h
@@ -201,13 +201,6 @@ uint gasket_page_table_num_entries(struct gasket_page_table *page_table);
  */
 uint gasket_page_table_num_simple_entries(struct gasket_page_table *page_table);
 
-/*
- * Gets the number of extended entries.
- * @page_table: Gasket page table pointer.
- */
-uint gasket_page_table_num_extended_entries(
-	struct gasket_page_table *page_table);
-
 /*
  * Gets the number of actively pinned pages.
  * @page_table: Gasket page table pointer.