return true;
 }
 
+static struct sgx_epc_page *__sgx_alloc_epc_page_from_section(struct sgx_epc_section *section)
+{
+       struct sgx_epc_page *page;
+
+       spin_lock(§ion->lock);
+
+       if (list_empty(§ion->page_list)) {
+               spin_unlock(§ion->lock);
+               return NULL;
+       }
+
+       page = list_first_entry(§ion->page_list, struct sgx_epc_page, list);
+       list_del_init(&page->list);
+
+       spin_unlock(§ion->lock);
+       return page;
+}
+
+/**
+ * __sgx_alloc_epc_page() - Allocate an EPC page
+ *
+ * Iterate through EPC sections and borrow a free EPC page to the caller. When a
+ * page is no longer needed it must be released with sgx_free_epc_page().
+ *
+ * Return:
+ *   an EPC page,
+ *   -errno on error
+ */
+struct sgx_epc_page *__sgx_alloc_epc_page(void)
+{
+       struct sgx_epc_section *section;
+       struct sgx_epc_page *page;
+       int i;
+
+       for (i = 0; i < sgx_nr_epc_sections; i++) {
+               section = &sgx_epc_sections[i];
+
+               page = __sgx_alloc_epc_page_from_section(section);
+               if (page)
+                       return page;
+       }
+
+       return ERR_PTR(-ENOMEM);
+}
+
+/**
+ * sgx_free_epc_page() - Free an EPC page
+ * @page:      an EPC page
+ *
+ * Call EREMOVE for an EPC page and insert it back to the list of free pages.
+ */
+void sgx_free_epc_page(struct sgx_epc_page *page)
+{
+       struct sgx_epc_section *section = &sgx_epc_sections[page->section];
+       int ret;
+
+       ret = __eremove(sgx_get_epc_virt_addr(page));
+       if (WARN_ONCE(ret, "EREMOVE returned %d (0x%x)", ret, ret))
+               return;
+
+       spin_lock(§ion->lock);
+       list_add_tail(&page->list, §ion->page_list);
+       spin_unlock(§ion->lock);
+}
+
 static bool __init sgx_setup_epc_section(u64 phys_addr, u64 size,
                                         unsigned long index,
                                         struct sgx_epc_section *section)