Switch SIG_IPI to SIGUSR1
authorJan Kiszka <jan.kiszka@siemens.com>
Wed, 9 May 2012 22:14:25 +0000 (19:14 -0300)
committerAnthony Liguori <aliguori@us.ibm.com>
Thu, 10 May 2012 13:33:34 +0000 (08:33 -0500)
commita7aae221b0ef3125dedbbfe49a3f758a21a73330
tree6d94d2e52f15be1a9f4d9f10e9c60461845e84aa
parent2e1201d09bd28d825bcc962b2cf7a99b9583475e
Switch SIG_IPI to SIGUSR1

Use SIGUSR1 unconditionally as SIG_IPI. First, ucontext coroutines tend
to corrupt RT signal masks due to a 32-on-64-bit Linux kernel bug. And,
second, there appears to be no advantage in using RT signals for VCPU
kicking.

Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>
Signed-off-by: Anthony Liguori <aliguori@us.ibm.com>
main-loop.h