diff options
author | Peter Maydell <peter.maydell@linaro.org> | 2017-08-15 15:30:18 +0100 |
---|---|---|
committer | Peter Maydell <peter.maydell@linaro.org> | 2017-08-15 17:42:02 +0100 |
commit | 72b384f4a7d1d120a2591fc2019cec6ae50d7998 (patch) | |
tree | f7bd41ebc4e46acad527274324a9fe607c95bdb8 /backends | |
parent | 4a2fdb78e794c1ad93aa9e160235d6a61a2125de (diff) |
mmio-interface: Mark as not user creatable
The mmio-interface device is not something we want to allow
users to create on the command line:
* it is intended as an implementation detail of the memory
subsystem, which gets created and deleted by that
subsystem on demand; it makes no sense to create it
by hand on the command line
* it uses a pointer property 'host_ptr' which can't be
set on the command line
Mark the device as not user_creatable to avoid confusion.
Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Message-id: 1502807418-9994-1-git-send-email-peter.maydell@linaro.org
Reviewed-by: Thomas Huth <thuth@redhat.com>
Diffstat (limited to 'backends')
0 files changed, 0 insertions, 0 deletions