tcg-ppc64: bswap64 rotates output 32 bits
[qemu/ar7.git] / target-arm / kvm_arm.h
blobb1c54ffb5deb8399de05cbef05a3792990ac00e1
1 /*
2 * QEMU KVM support -- ARM specific functions.
4 * Copyright (c) 2012 Linaro Limited
6 * This work is licensed under the terms of the GNU GPL, version 2 or later.
7 * See the COPYING file in the top-level directory.
9 */
11 #ifndef QEMU_KVM_ARM_H
12 #define QEMU_KVM_ARM_H
14 #include "sysemu/kvm.h"
15 #include "exec/memory.h"
17 /**
18 * kvm_arm_register_device:
19 * @mr: memory region for this device
20 * @devid: the KVM device ID
22 * Remember the memory region @mr, and when it is mapped by the
23 * machine model, tell the kernel that base address using the
24 * KVM_SET_DEVICE_ADDRESS ioctl. @devid should be the ID of
25 * the device as defined by KVM_SET_DEVICE_ADDRESS.
26 * The machine model may map and unmap the device multiple times;
27 * the kernel will only be told the final address at the point
28 * where machine init is complete.
30 void kvm_arm_register_device(MemoryRegion *mr, uint64_t devid);
32 #endif