From 7c893ddfc2f129c2b34a85cd5fe8d36e6471c01b Mon Sep 17 00:00:00 2001
From: Ville Juven <ville.juven@unikie.com>
Date: Thu, 5 Oct 2023 15:33:03 +0300
Subject: [PATCH] kmm_map: Add function to map a single page of kernel memory

Mapping a physical page to a kernel virtual page is very simple and does
not need the kernel vma list, just get the kernel addressable virtual
address for the page.
---
 mm/kmap/kmm_map.c | 28 ++++++++++++++++++++++++++++
 1 file changed, 28 insertions(+)

diff --git a/mm/kmap/kmm_map.c b/mm/kmap/kmm_map.c
index ca94fe3bf0..cb270706f1 100644
--- a/mm/kmap/kmm_map.c
+++ b/mm/kmap/kmm_map.c
@@ -192,6 +192,27 @@ static FAR void *map_single_user_page(uintptr_t vaddr)
   return (FAR void *)vaddr;
 }
 
+/****************************************************************************
+ * Name: map_single_page
+ *
+ * Description:
+ *   Map (find) a single page from the kernel addressable virtual memory
+ *   pool.
+ *
+ * Input Parameters:
+ *   page - The physical page.
+ *
+ * Returned Value:
+ *   The kernel virtual address for the page, or NULL if page is not kernel
+ *   addressable.
+ *
+ ****************************************************************************/
+
+static FAR void *map_single_page(uintptr_t page)
+{
+  return (FAR void *)up_addrenv_page_vaddr(page);
+}
+
 /****************************************************************************
  * Name: is_kmap_vaddr
  *
@@ -290,6 +311,13 @@ FAR void *kmm_map(FAR void **pages, size_t npages, int prot)
       return NULL;
     }
 
+  /* A single page can be addressed directly, if it is a kernel page */
+
+  if (npages == 1)
+    {
+      return map_single_page((uintptr_t)pages[0]);
+    }
+
   /* Attempt to map the pages */
 
   vaddr = (uintptr_t)map_pages(pages, npages, prot);