diff --git a/devicemodel/core/main.c b/devicemodel/core/main.c
index 0715da164..ddc75e30e 100644
--- a/devicemodel/core/main.c
+++ b/devicemodel/core/main.c
@@ -215,12 +215,6 @@ paddr_guest2host(struct vmctx *ctx, uintptr_t gaddr, size_t len)
 	return vm_map_gpa(ctx, gaddr, len);
 }
 
-void *
-dm_gpa2hva(uint64_t gpa, size_t size)
-{
-	return vm_map_gpa(_ctx, gpa, size);
-}
-
 int
 virtio_uses_msix(void)
 {
diff --git a/devicemodel/include/dm.h b/devicemodel/include/dm.h
index 4869a82f6..83be66072 100644
--- a/devicemodel/include/dm.h
+++ b/devicemodel/include/dm.h
@@ -46,7 +46,6 @@ extern bool stdio_in_use;
 int vmexit_task_switch(struct vmctx *ctx, struct vhm_request *vhm_req,
 		       int *vcpu);
 void *paddr_guest2host(struct vmctx *ctx, uintptr_t addr, size_t len);
-void *dm_gpa2hva(uint64_t gpa, size_t size);
 int  virtio_uses_msix(void);
 void ptdev_no_reset(bool enable);
 void init_debugexit(void);