diff --git a/devicemodel/core/vmmapi.c b/devicemodel/core/vmmapi.c
index d9686554f..6f37627ad 100644
--- a/devicemodel/core/vmmapi.c
+++ b/devicemodel/core/vmmapi.c
@@ -584,12 +584,6 @@ vm_set_vcpu_regs(struct vmctx *ctx, struct acrn_set_vcpu_regs *vcpu_regs)
 	return ioctl(ctx->fd, IC_SET_VCPU_REGS, vcpu_regs);
 }
 
-int
-vm_get_device_fd(struct vmctx *ctx)
-{
-	return ctx->fd;
-}
-
 int
 vm_get_cpu_state(struct vmctx *ctx, void *state_buf)
 {
diff --git a/devicemodel/include/vmmapi.h b/devicemodel/include/vmmapi.h
index f6b1271e8..77f8dc8c4 100644
--- a/devicemodel/include/vmmapi.h
+++ b/devicemodel/include/vmmapi.h
@@ -89,7 +89,6 @@ struct vm_isa_irq {
  *
  * Returns a pointer to the memory segment on success and MAP_FAILED otherwise.
  */
-int	vm_get_device_fd(struct vmctx *ctx);
 struct	vmctx *vm_create(const char *name, uint64_t req_buf);
 void	vm_pause(struct vmctx *ctx);
 void	vm_reset(struct vmctx *ctx);