diff options
| author | Peter Maydell <peter.maydell@linaro.org> | 2018-08-20 11:24:32 +0100 |
|---|---|---|
| committer | Peter Maydell <peter.maydell@linaro.org> | 2018-08-20 11:24:32 +0100 |
| commit | 8c1c245378f646c18ee03a24154bd611e6abe52e (patch) | |
| tree | 4f04b5ac2a78484f14a9ff6a59be40953260e4a9 /docs/spin/aio_notify_bug.promela | |
| parent | 5321fa68fdb7e285d60d8050057129027a8c1c63 (diff) | |
memory: Remove MMIO request_ptr APIs
Remove the obsolete MMIO request_ptr APIs; they have no
users now.
Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Reviewed-by: Edgar E. Iglesias <edgar.iglesias@xilinx.com>
Reviewed-by: Alistair Francis <alistair.francis@wdc.com>
Reviewed-by: KONRAD Frederic <frederic.konrad@adacore.com>
Message-id: 20180817114619.22354-3-peter.maydell@linaro.org
Diffstat (limited to 'docs/spin/aio_notify_bug.promela')
0 files changed, 0 insertions, 0 deletions