tree 6319f4ac6815602792103329d08568df0ceb2877
parent b4ad84a454f6532d0a7de910dce4bd97a26d1340
author Barret Rhoden <brho@cs.berkeley.edu> 1513103275 -0500
committer Barret Rhoden <brho@cs.berkeley.edu> 1513108317 -0500

vmm: Provide a fast-path for IPIs in the kernel

Handling the IPI in userspace takes a couple usec.  If the target guest
pcore is loaded and running, such as when in greedy mode or under load, the
kernel can inject the IPI.

This helped perf bench pipe sched on tinycore in greedy mode, where the
guest was sending IPIs every 8-10 usec.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>