Remove unused bmm_get_kern_paddr() function

Userspace should not be dealing with kernel space addresses at all.
Thankfully this function is unused, so we can merely delete it.

1 files changed, 0 insertions, 1 deletions

diff --git a/bmm_lib.h b/bmm_lib.h
index f8c160b..14af196 100644
--- a/bmm_lib.h
+++ b/bmm_lib.h
@@ -47,7 +47,6 @@ void *bmm_attach(unsigned long paddr, unsigned long len);
 void bmm_detach(void *vaddr, unsigned long len);
 void *bmm_get_vaddr(unsigned long paddr);
 unsigned long bmm_get_paddr(void *vaddr);
-unsigned long bmm_get_kern_paddr(void *vaddr, unsigned long size);
 int bmm_get_mem_attr(void *vaddr);
 int bmm_set_mem_attr(void *vaddr, int attr);	/* Not supported yet */
 unsigned long bmm_get_mem_size(void *vaddr);