diff options
| author | Christoffer Dall <[email protected]> | 2017-05-02 18:11:49 +0000 |
|---|---|---|
| committer | Christoffer Dall <[email protected]> | 2017-06-08 14:59:56 +0000 |
| commit | 3cba4af31c61fc9420fdcf083f509a6c20a6d8e5 (patch) | |
| tree | b8f6ed98f76eafb683fc7880d2bd03ec55371a15 /include/kvm/arm_arch_timer.h | |
| parent | KVM: arm: Handle VCPU device attributes in guest.c (diff) | |
| download | kernel-3cba4af31c61fc9420fdcf083f509a6c20a6d8e5.tar.gz kernel-3cba4af31c61fc9420fdcf083f509a6c20a6d8e5.zip | |
KVM: arm/arm64: Move irq_is_ppi() to header file
We are about to need this define in the arch timer code as well so move
it to a common location.
Signed-off-by: Christoffer Dall <[email protected]>
Acked-by: Marc Zyngier <[email protected]>
Diffstat (limited to 'include/kvm/arm_arch_timer.h')
0 files changed, 0 insertions, 0 deletions