7cbcd176dd
When running with KVM enabled, you can choose between emulating the gic in kernel or user space. If the kernel supports in-kernel virtualization of the interrupt controller, it will default to that. If not, if will default to user space emulation. Unfortunately when running in user mode gic emulation, we miss out on timer events which are only available from kernel space. This patch leverages the new kernel/user space notification mechanism for those timer events. Signed-off-by: Alexander Graf <agraf@suse.de>
Automatically imported Linux kernel headers. Only use scripts/update-linux-headers.sh to update!