projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: efa8a61) | patch
xen/arm: make set_interrupt_ppi able to handle non-PPI
authorStefano Stabellini <sstabellini@kernel.org>
Tue, 13 Nov 2018 17:49:32 +0000 (09:49 -0800)
committerJulien Grall <julien.grall@arm.com>
Wed, 14 Nov 2018 19:34:48 +0000 (19:34 +0000)
commit293f79957ea943bced5bb7a244f4a683f47ec722
tree20621b9fea9674f28536089a3f1d2260dd5d5088tree | snapshot
parentefa8a61a81624245a65799afa98527a8e616f8b2commit | diff
xen/arm: make set_interrupt_ppi able to handle non-PPI

also rename it to set_interrupt.

Signed-off-by: Stefano Stabellini <stefanos@xilinx.com>
Reviewed-by: Julien Grall <julien.grall@arm.com>
xen/arch/arm/domain_build.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.