K 10
svn:author
V 6
adrian
K 8
svn:date
V 27
2009-05-30T14:59:08.945767Z
K 7
svn:log
V 129
Don't schedule a CALL_FUNCTION_VECTOR software IPI if the IPI was signaled
via the bitmap (and thus sent via RESCHEDULE_VECTOR.)

END