diff --git a/devicemodel/core/vmmapi.c b/devicemodel/core/vmmapi.c index 3ed7faef0..643f0fbe1 100644 --- a/devicemodel/core/vmmapi.c +++ b/devicemodel/core/vmmapi.c @@ -378,12 +378,6 @@ vm_get_highmem_size(struct vmctx *ctx) return ctx->highmem; } -void * -vm_create_devmem(struct vmctx *ctx, int segid, const char *name, size_t len) -{ - return MAP_FAILED; -} - int vm_run(struct vmctx *ctx) { diff --git a/devicemodel/include/vmmapi.h b/devicemodel/include/vmmapi.h index 065863f35..a5087eb63 100644 --- a/devicemodel/include/vmmapi.h +++ b/devicemodel/include/vmmapi.h @@ -89,8 +89,6 @@ struct vm_isa_irq { * * Returns a pointer to the memory segment on success and MAP_FAILED otherwise. */ -void *vm_create_devmem(struct vmctx *ctx, int segid, const char *name, - size_t len); 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);