| * QEMU KVM support -- ARM specific functions. |
| * Copyright (c) 2012 Linaro Limited |
| * This work is licensed under the terms of the GNU GPL, version 2 or later. |
| * See the COPYING file in the top-level directory. |
| * kvm_arm_register_device: |
| * @mr: memory region for this device |
| * @devid: the KVM device ID |
| * Remember the memory region @mr, and when it is mapped by the |
| * machine model, tell the kernel that base address using the |
| * KVM_SET_DEVICE_ADDRESS ioctl. @devid should be the ID of |
| * the device as defined by KVM_SET_DEVICE_ADDRESS. |
| * The machine model may map and unmap the device multiple times; |
| * the kernel will only be told the final address at the point |
| * where machine init is complete. |
| void kvm_arm_register_device(MemoryRegion *mr, uint64_t devid); |
